Ignore:
Timestamp:
Sep 21, 2011, 5:28:06 PM (9 years ago)
Author:
mulligan
Message:

changes for claudio

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/Interference.ma

    r1232 r1241  
    1 include "basics/types.ma".
    2 include "basics/list.ma".
    3 include "common/Graphs.ma".
    4 include "common/Order.ma".
    5 include "common/Registers.ma".
    61include "ERTL/ERTL.ma".
    72include "ERTL/liveness.ma".
    8 
    9 include "utilities/adt/table_adt.ma".
    10 include "utilities/adt/priority_set_adt.ma".
    11 include "utilities/adt/set_adt.ma".
    12 include "utilities/adt/set_table_adt.ma".
    13 include "utilities/adt/register_table.ma".
    143
    154definition vertex ≝ register ⊎ Register.
     
    3726axiom build: ∀valuation. coloured_graph valuation.
    3827
     28(*
    3929(* definition vertex_set ≝ set vertex. *)
    4030definition vertex_priority_set ≝ priority_set vertex.
     
    4333definition Register_set_table ≝ set_table vertex (set Register).
    4434definition Register_set ≝ set Register.
     35*)
    4536
    4637(*
Note: See TracChangeset for help on using the changeset viewer.