Changeset 1193 for src/utilities/Interference.ma
 Timestamp:
 Sep 6, 2011, 3:49:31 PM (8 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

src/utilities/Interference.ma
r1192 r1193 8 8 (* vertex sets *) 9 9 axiom vertex_set: Type[0]. 10 axiom vs_fold: ∀A: Type[0]. (vertex → A → A) → vertex_set → A → A. 11 axiom vs_filter: (vertex → bool) → vertex_set → vertex_set. 12 axiom vs_subset: vertex_set → vertex_set → bool. 10 13 11 14 (* vertex maps *) 12 axiom vertex_map: Type[0]. 15 axiom vertex_map: Type[0] → Type[0]. 16 axiom vm_find: ∀A: Type[0]. vertex → vertex_map A → option A. 13 17 14 18 definition interference_graph ≝ graph label. … … 35 39 interference_graph → option vertex. 36 40 axiom ig_fold: ∀A: Type[0]. (vertex → A → A) → interference_graph → A → A. 37 axiom ig_ipp: interference_graph → vertex → list vertex.41 axiom ig_ipp: interference_graph → vertex → vertex_set. 38 42 axiom ig_iph: interference_graph → vertex → list Register. 39 axiom ig_ppp: interference_graph → vertex → list vertex.43 axiom ig_ppp: interference_graph → vertex → vertex_set. 40 44 axiom ig_pph: interference_graph → vertex → list Register. 41 45 definition ig_ppedge ≝ vertex × vertex.
Note: See TracChangeset
for help on using the changeset viewer.