Changeset 1179 for src/LTL/LTL.ma


Ignore:
Timestamp:
Sep 5, 2011, 11:58:58 AM (10 years ago)
Author:
mulligan
Message:

changes to ertl, ltl and lin to use new notion of joint params. ertl to ltl pass in process of being changed

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/LTL/LTL.ma

    r1171 r1179  
    44
    55definition ltl_params: params ≝
    6  mk_params unit unit unit unit registers_move Register.
     6 mk_params
     7   label unit unit unit unit registers_move Register
     8     unit unit unit unit.
    79
    8 definition ltl_statement ≝ λglobals: list ident. joint_statement label unit ltl_params globals.
     10definition ltl_statement ≝ λglobals: list ident. joint_statement ltl_params globals.
    911 
    1012definition ltl_statement_graph ≝ λglobals. graph (ltl_statement globals).
Note: See TracChangeset for help on using the changeset viewer.