Package | Description |
---|---|
jtabwb.engine |
Main classes implementing the engine; it specifies the interfaces with the
user defined prover.
|
Modifier and Type | Method and Description |
---|---|
IterationInfo |
Engine.getLastIterationInfo()
Returns a bunch of detailed information on the last iteration performed by
the prover.
|
Modifier and Type | Method and Description |
---|---|
_AbstractRule |
_Strategy.nextRule(_AbstractGoal currentGoal,
IterationInfo lastIteration)
This is a call-back method invoked by the engine when it needs to determine
the rule to to apply to
currentGoal ; doing this the engine
provides to the method as second argument a bunch of data describing the
last performed iteration. |