Package | Description |
---|---|
jtabwb.tracesupport |
Some tool for managing traces and C-trees, including support for LaTeX source
generation.
|
Class and Description |
---|
_LatexCTreeFormatter
An object implementing this interface provides to a LaTeX generator the
methods needed to construct a LaTeX representation of a C-Tree.
|
_TraceManager |
_TraceSupport
A prover with the methods needed to manage traces.
|
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.ProofStyle
The style of the generated proof.
|
TraceSupportException
DOC
|