Changeset 1192 for src/utilities
 Timestamp:
 Sep 6, 2011, 1:33:21 PM (10 years ago)
 Location:
 src/utilities
 Files:

 3 added
 1 edited
Legend:
 Unmodified
 Added
 Removed

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