public interface _Strategy
nextRule(_AbstractGoal, IterationInfo)
) to determine the rule to
apply to the current-goal of the proof-search.Modifier and Type | Method and Description |
---|---|
_AbstractRule |
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. |
_AbstractRule nextRule(_AbstractGoal currentGoal, IterationInfo lastIteration)
currentGoal
; doing this the engine
provides to the method as second argument a bunch of data describing the
last performed iteration. The method returns the rule instance to apply to
the current goal or null
if no rule can be applied the current
goal.currentGoal
- the current goal of the proof-search.lastIteration
- a bunch of data describing the last iteration
performed by the engine.null
if no rule can be
applied to currentGoal
.