Index of types

A
arc [FixpointType]
attr [FixpointType]
C
compare [SHGraph]
compare [Hashhe]
E
el [Ilist]	Type of list elements
elt [Sette.S]	The type of the set elements.
equation [Fixpoint]	Function that explores dynamically an equation system.
equation [FixpointType]	Function that explores dynamically an equation system.
G
graph [SHGraph]
graph [FixpointType]
H
hashtbl [Hashhe]
hedge [SHGraph.T]	Type of hyperedge identifiers
hedge [SHGraph.S]
hedge_n [SHGraph]
I
info [FixpointType]
infodyn [FixpointType]
K
key [Hashhe.S]
M
manager [Fixpoint]
manager [FixpointType]
O
output [Fixpoint]	result of the analysis
output [FixpointType]	result of the analysis
P
parameter [FixpointThreshold]	Manager for thresholds
priority [SHGraph]
S
set [Sette]
stat [Fixpoint]	statistics at the end of the analysis
stat [FixpointType]
stat_iteration [Fixpoint]
stat_iteration [FixpointType]
strategy [Fixpoint]	Type for defining iteration strategies.
strategy [FixpointType]	Type for defining iteration strategies.
strategy_iteration [Fixpoint]	Widening and Descending Options
strategy_iteration [FixpointType]	Widening and Descending Options
strategy_vertex [Fixpoint]	Strategy to be applied for the vertex `vertex`.
strategy_vertex [FixpointType]	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.
V
vertex [SHGraph.T]	Type of vertex identifiers
vertex [SHGraph.S]
vertex_n [SHGraph]