Skip to content

Instantly share code, notes, and snippets.

@note

note/Bicycle.als

Created May 21, 2020 19:12
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save note/e2c79ab44d445faf3fc6f1977e4ce397 to your computer and use it in GitHub Desktop.
Save note/e2c79ab44d445faf3fc6f1977e4ce397 to your computer and use it in GitHub Desktop.
Download ZIP
Alloy tutorial: Static modelling
Raw
Bicycle.als
// Wheel: {Wheel0, Wheel1, Wheel2}
sig Wheel {}
// Bicycle: {Bicycle0, Bicycle1, Bicycle2}
sig Bicycle {
// Bicycle.front: {
// Bicycle0 -> Wheel2,
// Bicycle1 -> Wheel2,
// Bicycle2 -> Wheel1
// }
front: Wheel,
rear: Wheel
}
run {} for 3
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment