See: Description
Interface | Description |
---|---|
_LatexCTreeFormatter |
An object implementing this interface provides to a LaTeX generator the
methods needed to construct a LaTeX representation of a C-Tree.
|
_LatexSupport |
An object providing a
_LatexCTreeFormatter . |
_TraceManager | |
_TraceSupport |
A prover with the methods needed to manage traces.
|
Class | Description |
---|---|
ChildrenWithCtreeNodes | |
CollectionOfArrayOfNCTrees | |
CTree |
An object of this class represents a C-Tree.
|
CTreeNode |
An object of this class represents a node of a C-tree.
|
LatexTranslator |
This class generates a LaTeX description of a proof starting from a pruned
trace describing a successful proof search (a proof).
|
TraceValidator | |
Validator |
Enum | Description |
---|---|
LatexTranslator.ProofStyle |
The style of the generated proof.
|
Exception | Description |
---|---|
TraceSupportException |
DOC
|