Uses of Interface
jtabwb.tracesupport._LatexCTreeFormatter

Packages that use _LatexCTreeFormatter

Package	Description
jtabwb.tracesupport	Some tool for managing traces and C-trees, including support for LaTeX source generation.

Uses of _LatexCTreeFormatter in jtabwb.tracesupport

Methods in jtabwb.tracesupport that return _LatexCTreeFormatter

Modifier and Type	Method and Description
_LatexCTreeFormatter	_LatexSupport.getLatexProofFormatter() Returns the LaTeX C-tree formatter.

Methods in jtabwb.tracesupport with parameters of type _LatexCTreeFormatter

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.

Constructors in jtabwb.tracesupport with parameters of type _LatexCTreeFormatter

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.