C | |
| compare [PSHGraph] | |
| compare [SHGraph] | |
| compare [PHashhe] | |
| compare [Hashhe] | |
E | |
| el [Ilist] |
Type of list elements.
|
| elt [MultiSetList.S] |
Type of multiset elements
|
| elt [SetList.S] |
The type of the set elements.
|
| elt [Sette.S] |
The type of the set elements.
|
G | |
| graph [SHGraph] | |
| graph [FGraph] | |
H | |
| hashtbl [Hashhe] | |
| hedge [SHGraph.T] |
Type of hyperedge identifiers
|
| hedge [SHGraph.S] | |
| hedge_n [SHGraph] | |
K | |
| key [Hashhe.S] | |
| key [Mappe.S] | |
M | |
| map [Mappe] | |
N | |
| node [FGraph] | |
P | |
| priority [PSHGraph] | |
| priority [SHGraph] | |
S | |
| set [Sette] | |
T | |
| t [Rational] | |
| t [Union] |
The type of the data structure storing set membership (the universe)
|
| t [Symbol] |
Type of symbols (actually integers)
|
| t [PSHGraph] | |
| t [SHGraph.S] |
Type of hypergraphs, where 'a : information associated to vertices, 'b : information associated to hedges, 'c : user-information associated to an hypergraph
|
| t [SHGraph] |
The type of hypergraphs where 'a : type of vertices, 'b : type of hedges, 'c : information associated to vertices, 'd : information associated to hedges, 'e : user-information associated to an hypergraph
|
| t [FGraph.S] |
The type of graphs, where:
'b is the type of vertex attribute (attrvertex);, 'c is the type of edge attributes (attredge)
|
| t [FGraph] | |
| t [FGraph1.S] |
The type of graphs, where:
'b is the type of vertex attribute (attrvertex);, 'c is the type of edge attributes (attredge)
|
| t [FGraph1] | |
| t [Ilist] |
Type of imbricated lists.
|
| t [MultiSetList.S] |
Type of multisets over type
elt.
|
| t [MultiSetList] |
The type of multisets over elements of type 'a.
|
| t [SetList.S] |
The type of sets.
|
| t [SetList] |
The type of sets over elements of type
'a.
|
| t [PDHashhe] | |
| t [DHashhe.S] | |
| t [DHashhe] |
The type of two-way hashtables, meant to be abstract
|
| t [PDMappe] | |
| t [DMappe.S] | |
| t [DMappe] |
The type of two-way maps
|
| t [PHashhe] | |
| t [Hashhe.HashedType] |
The type of the hashtable keys.
|
| t [Hashhe.S] | |
| t [Hashhe] |
The type of hash tables from type
'a to type 'b.
|
| t [PMappe] | |
| t [Mappe.S] | |
| t [Mappe] |
The type of maps from type
'a to type 'b.
|
| t [PSette] | |
| t [Sette.S] |
The type of sets.
|
| t [Sette] |
The type of sets over elements of type 'a.
|
V | |
| vertex [SHGraph.T] |
Type of vertex identifiers
|
| vertex [SHGraph.S] | |
| vertex [FGraph.S] |
The type of vertices
|
| vertex [FGraph1.S] |
The type of vertices
|
| vertex_n [SHGraph] | |
X | |
| x [DHashhe.S] | |
| x [DMappe.S] | |
Y | |
| y [DHashhe.S] | |
| y [DMappe.S] |