source:
src/LTL/LTL.ma
@
1269
| Last change on this file since 1269 was 1269, checked in by , 10 years ago | |
|---|---|
| File size: 355 bytes | |
| Rev | Line | |
|---|---|---|
| [1222] | 1 | include "joint/Joint.ma". |
| [722] | 2 | |
| [1246] | 3 | definition ltl_params_: params_ ≝ |
| 4 | mk_params_ (mk_params__ unit unit unit unit registers_move Register False unit unit unit) label. | |
| [1168] | 5 | |
| [1246] | 6 | definition ltl_statement ≝ joint_statement ltl_params_. |
| [1222] | 7 | |
| [1252] | 8 | definition ltl_params: ∀globals. params globals ≝ graph_params ltl_params_. |
| [1222] | 9 | |
| [1233] | 10 | definition ltl_program ≝ joint_program ltl_params. |
Note: See TracBrowser
for help on using the repository browser.
