Changeset 1082 for src/common


Ignore:
Timestamp:
Jul 20, 2011, 5:17:38 PM (8 years ago)
Author:
mulligan
Message:

work from today on ertl -> ltl pass

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Graphs.ma

    r1080 r1082  
    33include "ASM/BitVectorTrie.ma".
    44include "common/Identifiers.ma".
     5include "common/AST.ma".
    56
    67axiom LabelTag : String.
    78
    89definition label ≝ identifier LabelTag.
     10
     11(* o'caml compiler doesn't make distinction between idents and labels *)
     12definition label_to_ident: label → ident ≝
     13  λl.
     14  match l with
     15  [ an_identifier l ⇒ an_identifier SymbolTag l
     16  ].
    917
    1018definition label_eq : ∀x,y:label. (x=y) + (x≠y) ≝ identifier_eq ?.
Note: See TracChangeset for help on using the changeset viewer.