/Bicycle.als
Created May 21, 2020
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