Index of types


B
branch_update [Block]
See regstab.ml for a better understanding
branching [Block]

I
inequality [Constraint]
Kind of inequality.

L
loopable [Looping.LoopingMap]
Type of the ``relevant'' data.

P
purable [Purity.Purable]
The type of the data structure.

R
range [Purity]
The interval of values possibly taken by a variable e.g.

S
substituable [Substitution.Substituable]
The type of a substituable object, would it be an index, a schema or other.

T
t [Variable]
Type of variables.
t [Schema]
Type of schemata.
t [Satisfiability]
t [Purity]
The type of purities.
t [Proposition]
Type of propositional variables.
t [Modified]
t [Literal.ClosureSet]
t [Literal]
t [Lemmas]
A set of lemmas.
t [Indexes]
The type of indexes
t [Formula]
Type of propositional formulae.
t [Constraint]
Type of constraints.
t [Looping.LoopingMap]
Type of a set of loopable datas.
t [Block]
Type of blocks.
term [Substitution.Substituable]
The type of terms, i.e.

V
variable [Substitution.Substituable]
The type of variables.