| Nr | Name | Value |
|---|---|---|
| 1 | t | 7.1875 |
| 2 | vx | {(p1|->8.0),(p2|->-6.0)} |
| 3 | vy | {(p1|->2.5),(p2|->-0.55)} |
| 4 | ix | {(p1|->0.0),(p2|->100.0)} |
| 5 | iy | {(p1|->0.0),(p2|->25.0)} |
| 6 | cx | {(p1|->57.5),(p2|->56.875)} |
| 7 | cy | {(p1|->17.96875),(p2|->21.046875)} |
| 8 | dist | 3.140935929882206 |
| Nr | Name | Value |
|---|---|---|
| 1 | PLANES | {p1,p2} |
| 2 | INT | (-1 .. 4) |
| Nr | Event | Target State ID |
|---|---|---|
| 1 | SETUP_CONSTANTS(t=7.1875,cx={(p1↦57.5),(p2↦56.875)},cy={(p1↦17.96875),(p2↦21.046875)},dist=3.140935929882206) | State 0 |
| 2 | INITIALISATION() |