• Home
• de.hhu.stups
• alloy2b
• 1.03-BETA
• source code
• barbers.als

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

models.book.appendixA.barbers.als Maven / Gradle / Ivy

module appendixA/barbers

sig Man { shaves: set Man }

one sig Barber extends Man { }

fact {
	Barber.shaves = { m: Man | m not in m.shaves }
	}