Package | Description |
---|---|
jtabwb.engine |
Main classes implementing the engine; it specifies the interfaces with the
user defined prover.
|
jtabwb.launcher |
Implementation of a command line launcher for provers.
|
jtabwb.tracesupport |
Some tool for managing traces and C-trees, including support for LaTeX source
generation.
|
Modifier and Type | Method and Description |
---|---|
Trace |
Engine.getTrace()
Returns the trace of the last proof-search or null if the engine has not
been executed in trace mode (see
Engine.ExecutionMode ). |
Modifier and Type | Method and Description |
---|---|
Trace |
ProofSearchData.getTrace()
Returns the trace of the proof-search if the trace option was set or
null otherwise. |
Modifier and Type | Method and Description |
---|---|
Trace |
TraceValidator.getTrace() |
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.
|
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.
|
TraceValidator(Trace trace,
_Prover prover,
_TraceSupport traceSupport) |
Validator(Trace trace,
_Prover prover,
_TraceManager traceManager) |