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]