Package | Description |
---|---|
jtabwb.tracesupport |
Some tool for managing traces and C-trees, including support for LaTeX source
generation.
|
Modifier and Type | Method and Description |
---|---|
static java.util.Collection<CTree> |
CTree.buildFrom(Trace trace)
Builds the collection of C-trees described by the specified proof-search
trace.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
_LatexCTreeFormatter.post(CTree ctree)
The LaTeX to insert after c-tree source.
|
java.lang.String |
_LatexCTreeFormatter.pre(CTree ctree)
The LaTeX to insert before c-tree source or
null if no text is
to be inserted. |
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.
|