Package | Description |
---|---|
jtabwb.tracesupport |
Some tool for managing traces and C-trees, including support for LaTeX source
generation.
|
Modifier and Type | Method and Description |
---|---|
_LatexCTreeFormatter |
_LatexSupport.getLatexProofFormatter()
Returns the LaTeX C-tree formatter.
|
Modifier and Type | Method and Description |
---|---|
static void |
CTree.toLatex(java.util.Collection<CTree> ctrees,
java.io.PrintStream out,
_LatexCTreeFormatter formatter)
TODO: move to CTreeLatexGenerator
Prints on the specified stream the LaTeX of the specified collection of
C-trees.
|
void |
CTree.toLatex(java.io.PrintStream out,
_LatexCTreeFormatter formatter)
TDOO: move to CTreeLatexGenerator
Prints on the specified stream the LaTeX of this C-tree.
|
Constructor and Description |
---|
LatexTranslator(Trace trace,
_LatexCTreeFormatter formatter)
Builds an instance of the translator which uses the specified latex
formatter to generate a proof for the specified trace.
|