Package | Description |
---|---|
jtabwb.engine |
Main classes implementing the engine; it specifies the interfaces with the
user defined prover.
|
Modifier and Type | Method and Description |
---|---|
_AbstractRule |
_MetaBacktrackRule.nextRule()
Returns the next rule.
|