Package | Description |
---|---|
jtabwb.tracesupport |
Some tool for managing traces and C-trees, including support for LaTeX source
generation.
|
Modifier and Type | Method and Description |
---|---|
_AbstractRule |
_TraceManager.getRuleByName(java.lang.String name,
_AbstractGoal premise,
_AbstractFormula mainFormula)
Returns the instance of the rule with the specified name applied to the
specified arguments.
|
boolean |
TraceValidator.validateProofTrace() |
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.
|