| Nr | Name | Value | Previous Value |
|---|---|---|---|
| 1 | now | ? | ? |
| 2 | phase | ? | ? |
| 3 | r | ? | ? |
| 4 | rho | ? | ? |
| 5 | rho_c | ? | ? |
| Nr | Name | Value |
|---|---|---|
| 1 | p | 0.5621208813166858 |
| 2 | sqrt3 | 1.7320508075688772 |
| 3 | sin_phi_d_2 | 0.35355339059327373 |
| 4 | pi | 3.141592653589793 |
| 5 | rhoi | 1.4901403777514783 |
| 6 | v | 1.0 |
| 7 | phi | 0.7853981633974483 |
| Nr | Name | Value |
|---|---|---|
| 1 | INT | (-1 .. 4) |
| Nr | Name | Enabled |
|---|---|---|
| 1 | agree | ? |
| 2 | start | ? |
| 3 | turning_1 | ? |
| 4 | cycling | ? |
| 5 | turning_2 | ? |
| Nr | Event | Description | Target State ID |
|---|---|---|---|
| 1 | PARTIAL_SETUP_CONSTANTS(v=1.0) | State 0 | |
| 2 | INITIALISATION(now=0.0,phase=0,r=1.0,rho=1.4901403777514783,rho_c=/*@symbolic*/ λt.(0.0 ≤ t∣1.4901403777514783)) | ||
| 3 | agree(0.8603329482251467) | "planes agree to fly circle of radius r=0.8603329482251467" | |
| 4 | start | ||
| 5 | turning_1 | ||
| 6 | cycling | ||
| 7 | turning_2 |