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 |
---|---|
_Strategy |
_Prover.getStrategy()
Returns the strategy used by this prover.
|
Modifier and Type | Method and Description |
---|---|
_Strategy |
Validator.getStrategy() |