E | |
| el [Ilist] |
Type of list elements.
|
| elt [Sette.S] |
The type of the set elements.
|
G | |
| graph [MkFixpoint.S] | |
H | |
| hedge [SHGraph.T] |
Type of hyperedge identifiers
|
| hedge [SHGraph.S] | |
K | |
| key [Hashhe.S] | |
M | |
| manager [MkFixpoint.S] | |
O | |
| output [MkFixpoint.S] |
result of the analysis
|
S | |
| stat [MkFixpoint.S] |
statistics at the end of the analysis
|
| strategy [MkFixpoint.S] |
Type for defining iteration strategies.
|
| strategy_vertex [MkFixpoint.S] |
Strategy to be applied for the vertex
vertex.
|
T | |
| 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 [Ilist] |
Type of imbricated lists.
|
| 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 [Sette.S] |
The type of sets.
|
| t [Sette] |
The type of sets over elements of type 'a.
|
| tzz [Sette] |
Meant to be internal, but exporting needed for Mappe.maptoset.
|
V | |
| vertex [SHGraph.T] |
Type of vertex identifiers
|
| vertex [SHGraph.S] |