source: src/LTL/LTL.ma @ 1252

Last change on this file since 1252 was 1252, checked in by sacerdot, 10 years ago

graph_params added to joint/Joint.ma, together with useful common setters/getters

File size: 389 bytes
RevLine 
[1222]1include "joint/Joint.ma".
[1246]2include alias "common/Graphs.ma".
[722]3
[1246]4definition ltl_params_: params_ ≝
5 mk_params_ (mk_params__ unit unit unit unit registers_move Register False unit unit unit) label.
[1168]6
[1246]7definition ltl_statement ≝ joint_statement ltl_params_.
[1222]8
[1252]9definition ltl_params: ∀globals. params globals ≝ graph_params ltl_params_.
[1222]10
[1233]11definition ltl_program ≝ joint_program ltl_params.
Note: See TracBrowser for help on using the repository browser.