Changeset 1082 for src/LTL/LTL.ma
- Timestamp:
- Jul 20, 2011, 5:17:38 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/LTL/LTL.ma
r757 r1082 11 11 ltl_if_luniverse: universe LabelTag; 12 12 ltl_if_runiverse: universe RegisterTag; 13 ltl_if_ StackSize: nat;14 ltl_if_ Graph: ltl_statement_graph globals;15 ltl_if_ Entry: label;16 ltl_if_ Exit: label13 ltl_if_stacksize: nat; 14 ltl_if_graph: ltl_statement_graph globals; 15 ltl_if_entry: Σl: label. lookup ? ? ltl_if_graph l ≠ None ?; 16 ltl_if_exit: Σl: label. lookup ? ? ltl_if_graph l ≠ None ? 17 17 }. 18 18
Note: See TracChangeset
for help on using the changeset viewer.