Uses of Class
jtabwb.tracesupport.TraceSupportException

Packages that use TraceSupportException

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

Uses of TraceSupportException in jtabwb.tracesupport

Methods in jtabwb.tracesupport that throw TraceSupportException

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()

Constructors in jtabwb.tracesupport that throw TraceSupportException

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.