Changeset 1378 for src/LTL/LTL.ma
- Timestamp:
- Oct 14, 2011, 7:32:21 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/LTL/LTL.ma
r1281 r1378 1 include " joint/Joint.ma".1 include "LIN/joint_LTL_LIN.ma". 2 2 3 definition ltl_params__: params__ ≝ 4 (mk_params__ unit unit unit unit registers_move Register nat unit False). 5 definition ltl_params_ : params_ ≝ graph_params_ ltl_params__. 6 definition ltl_params0 : params0 ≝ mk_params0 ltl_params__ unit unit. 7 definition ltl_params1 : params1 ≝ mk_params1 ltl_params0 unit. 8 definition ltl_params: ∀globals. params globals ≝ graph_params ltl_params1. 3 definition ltl_params_ : params_ ≝ graph_params_ ltl_lin_params__. 4 definition ltl_params: ∀globals. params globals ≝ graph_params ltl_lin_params1. 9 5 10 6 definition ltl_statement ≝ joint_statement ltl_params_. 11 12 7 definition ltl_program ≝ joint_program ltl_params. 13 8
Note: See TracChangeset
for help on using the changeset viewer.