Changeset 1192 for src/utilities


Ignore:
Timestamp:
Sep 6, 2011, 1:33:21 PM (8 years ago)
Author:
mulligan
Message:

some files that were missing / laying dormant on my computer

Location:
src/utilities
Files:
3 added
1 edited

Legend:

Unmodified
Added
Removed
  • src/utilities/Interference.ma

    r1145 r1192  
    44include "common/Registers.ma".
    55
     6definition vertex ≝ nat. (* XXX: int in o'caml *)
     7
     8(* vertex sets *)
     9axiom vertex_set: Type[0].
     10
     11(* vertex maps *)
     12axiom vertex_map: Type[0].
     13
    614definition interference_graph ≝ graph label.
    7 axiom vertex: Type[0].
    8 axiom vertex_set: Type[0].
    9 axiom vertex_map: Type[0].
    1015
    1116axiom ig_create: list register → interference_graph.
Note: See TracChangeset for help on using the changeset viewer.