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.
|