Skip to content

Instantly share code, notes, and snippets.

@note note/Bicycle.als
Created May 21, 2020

Embed
What would you like to do?
Alloy tutorial: Static modelling
// 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
You can’t perform that action at this time.