Alloy Example Code
// ˅
module Sample
// ˄
enum Foo {
Red,
Green,
Blue
// ˅
// ˄
}
// ˅
pred show {}
run show
// ˄
Alloy Example Code
// ˅
module Sample
// ˄
sig Foo {
// ˅
// ˄
}
// ˅
// ˄
pred show {
// ˅
// ˄
}
// ˅
pred show {}
run show
// ˄
Alloy Example Code
// ˅
module Sample
// ˄
one sig Foo {
// ˅
// ˄
}
// ˅
// ˄
// ˅
pred show {}
run show
// ˄
Write signature facts in the User Code Area right under the signatures.
Alloy Example Code
// ˅
module Sample
// ˄
one sig Foo {
// ˅
// ˄
}
// ˅
fact {
// Expression of constraints
}
// ˄
// ˅
pred show {}
run show
// ˄