Changeset 2783 for src/LTL


Ignore:
Timestamp:
Mar 6, 2013, 12:09:52 PM (7 years ago)
Author:
piccolo
Message:

modified joint_closed_internal_function definition (added condition on pseudo-registers)
added new record for parameters
modified state definition with option for framesT

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LTL/LTL_semantics.ma

    r2601 r2783  
    33
    44definition LTL_semantics : sem_params ≝
    5   make_sem_graph_params LTL LTL_LIN_semantics.
     5  mk_sem_graph_params LTL LTL_LIN_semantics.
Note: See TracChangeset for help on using the changeset viewer.