Index of types


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]