Changeset 1252 for src/LTL/LTL.ma


Ignore:
Timestamp:
Sep 22, 2011, 2:49:18 PM (8 years ago)
Author:
sacerdot
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LTL/LTL.ma

    r1246 r1252  
    77definition ltl_statement ≝ joint_statement ltl_params_.
    88
    9 definition ltl_params: ∀globals. params globals ≝
    10  λglobals. mk_params globals ltl_params_ (graph (ltl_statement globals)) (lookup …).
     9definition ltl_params: ∀globals. params globals ≝ graph_params ltl_params_.
    1110
    1211definition ltl_program ≝ joint_program ltl_params.
Note: See TracChangeset for help on using the changeset viewer.