Package | Description |
---|---|
jtabwb.engine |
Main classes implementing the engine; it specifies the interfaces with the
user defined prover.
|
jtabwb.tracesupport |
Some tool for managing traces and C-trees, including support for LaTeX source
generation.
|
Modifier and Type | Method and Description |
---|---|
ProverName |
_Prover.getProverName()
Returns an object describing the detailed name of the prover.
|
Modifier and Type | Method and Description |
---|---|
int |
ProverName.compareTo(ProverName o) |
Modifier and Type | Method and Description |
---|---|
ProverName |
Validator.getProverName() |