Changeset 1088 for src/ERTL


Ignore:
Timestamp:
Jul 27, 2011, 5:50:14 PM (9 years ago)
Author:
mulligan
Message:

work on liveness analysis: an imperative nightmare

Location:
src/ERTL
Files:
1 added
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTLToLTL.ma

    r1084 r1088  
    22include "ERTL/ERTLToLTLI.ma".
    33include "LTL/LTL.ma".
     4
     5definition translate_internal ≝
     6  λf.
     7  λint_fun: ertl_internal_function.
     8    mk_ltl_internal_function ?
     9      (ertl_if_luniverse int_fun)
     10      (ertl_if_runiverse int_fun)
     11      (ertl_if_stacksize int_fun)
     12      (ertl_if_graph int_fun)
     13      ?
     14      ?.
    415
    516definition translate_funct ≝
Note: See TracChangeset for help on using the changeset viewer.