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