Changeset 1163 for src/LTL/LTL.ma


Ignore:
Timestamp:
Sep 1, 2011, 4:23:42 PM (8 years ago)
Author:
mulligan
Message:

even more streamlining and fixes to get things type checking

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LTL/LTL.ma

    r1161 r1163  
    11include "common/Graphs.ma".
    22include "utilities/IdentifierTools.ma".
    3 include "LIN/LIN.ma".
     3include "LIN/JointLTLLIN.ma".
    44
    55definition ltl_statement ≝
    66  λglobals.
    7     joint_statement label globals .
     7    joint_statement label globals Register
     8                    Register Register Register
     9                    Register (Register × Register).
    810 
    911definition ltl_statement_graph ≝ λglobals. graph (ltl_statement globals).
Note: See TracChangeset for help on using the changeset viewer.