Index of modules


B
Block
Tableaux blocks.

C
ClosureSet [Literal]
To detect application of closure rule (rather) efficiently
Constraint
Arithmetic constraints.

F
Formula
(Usual) Propositional formulae.

I
Indexes
Indexes.

L
Lemmas
Sets of lemmas.
Literal
Literals.
Looping
Looping interface.
LoopingMap [Schema]
Looping
LoopingMap [Literal]
Looping
LoopingMap [Indexes]
Looping
LoopingMap [Block]

M
Modified
Modify information.

P
PropSubs [Schema]
"Propositional variable Substitution", a module to allow subtitution of propositional variables by other propositional variables.
PropSubs [Literal]
"Propositional variable Substitution", a module to allow substitution of propositional variables by other propositional variables.
Proposition
Propositional variables.
Purity
Pure literal elimination.

R
Regstab
The strategy for Regular Schemata TABleaux.

S
Satisfiability
Strategies.
Schema
Propositional schemata.
Substitution
Substitutions interface.

V
Variable
Index variables.