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 : userinformation 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 : userinformation 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] 