Changeset 2858 for src/LTL


Ignore:
Timestamp:
Mar 13, 2013, 12:52:16 AM (7 years ago)
Author:
sacerdot
Message:

Trying to pretty print the code graph in visit order.
Slightly bugged ATM, IKD why.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LTL/LTL_printer.ma

    r2848 r2858  
    1717
    1818definition print_LTL_program:
    19  ∀string. printing_params string LTL → ltl_program → string ≝
     19 ∀string. printing_params string LTL → ltl_program →
     20  list (ident × (list string)) ≝
    2021 λstring,pp,prog. print_joint_program … pp prog (graph_code_iteration_params … pp).
Note: See TracChangeset for help on using the changeset viewer.