| Nr | Name | Value |
|---|---|---|
| 1 | t | 5.546875 |
| 2 | vx | {(p1|->8.0),(p2|->-6.0)} |
| 3 | vy | {(p1|->2.5),(p2|->-0.55)} |
| 4 | ix | {(p1|->0.0),(p2|->80.0)} |
| 5 | iy | {(p1|->0.0),(p2|->20.0)} |
| 6 | cx | {(p1|->44.375),(p2|->46.71875)} |
| 7 | cy | {(p1|->13.8671875),(p2|->16.94921875)} |
| 8 | dist | 3.871960832508067 |
| Nr | Name | Value |
|---|---|---|
| 1 | PLANES | {p1,p2} |
| 2 | INT | (-1 .. 4) |
| Nr | Event | Target State ID |
|---|---|---|
| 1 | SETUP_CONSTANTS(t=5.546875,cx={(p1↦44.375),(p2↦46.71875)},cy={(p1↦13.8671875),(p2↦16.94921875)},dist=3.871960832508067) | State 1 |
| 2 | INITIALISATION() |