public class LatexTranslator
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
LatexTranslator.ProofStyle
The style of the generated proof.
|
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.
|
Modifier and Type | Method and Description |
---|---|
void |
generateLatex(java.io.PrintStream out)
Generates the LaTeX proof and write it on the specified stream.
|
public LatexTranslator(Trace trace, _LatexCTreeFormatter formatter) throws TraceSupportException
trace
- the trace describing the proof.formatter
- the LaTeX formatter.TraceSupportException