models.book.chapter2.addressBook2c.als Maven / Gradle / Ivy

Go to download

module tour/addressBook2c ----- Page 20

abstract sig Target { }
sig Addr extends Target { }
abstract sig Name extends Target { }

sig Alias, Group extends Name { }

sig Book {
	addr: Name->Target
} {
	no n: Name | n in n.^addr
}

pred show [b:Book]   { some Alias.(b.addr) }

// This command generates an instance similar to Fig 2.11
run show for 3 but 1 Book