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