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

Go to download

module tour/addressBook1e ----- Page 11

sig Name, Addr { }

sig Book {
	addr: Name -> lone Addr
}

pred add [b, b': Book, n: Name, a: Addr] {
	b'.addr = b.addr + n->a
}

// This command generates an instance similar to Fig 2.4
run add for 3 but 2 Book