source: src/LTL/LTL.ma @ 1271

Last change on this file since 1271 was 1271, checked in by mulligan, 8 years ago

finished, kind of

File size: 467 bytes
Line 
1include "joint/Joint.ma".
2
3definition ltl_params_: params_ ≝
4 mk_params_ (mk_params__ unit unit unit unit registers_move Register nat unit False unit unit unit) label.
5
6definition ltl_statement ≝ joint_statement ltl_params_.
7
8definition ltl_params: ∀globals. params globals ≝ graph_params ltl_params_.
9
10definition ltl_program ≝ joint_program ltl_params.
11
12definition ltl_internal_function ≝ λglobals. joint_internal_function globals (ltl_params globals).
Note: See TracBrowser for help on using the repository browser.