public interface Strategy extends Named, Feature
Modifier and Type | Method and Description |
---|---|
void |
instantiateApp(RuleApp app,
PosInOccurrence pio,
Goal goal,
RuleAppCostCollector collector)
Instantiate an incomplete
RuleApp . |
boolean |
isApprovedApp(RuleApp app,
PosInOccurrence pio,
Goal goal)
Re-Evaluate a
RuleApp . |
boolean |
isStopAtFirstNonCloseableGoal()
|
static void |
updateStrategySettings(Proof proof,
StrategyProperties p)
Updates the
Strategy for the given Proof by setting the
Strategy 's StrategyProperties to the given ones. |
computeCost
boolean isStopAtFirstNonCloseableGoal()
true
stop, false
continue on other Goal
s.boolean isApprovedApp(RuleApp app, PosInOccurrence pio, Goal goal)
RuleApp
. This method is
called immediately before a rule is really appliedvoid instantiateApp(RuleApp app, PosInOccurrence pio, Goal goal, RuleAppCostCollector collector)
RuleApp
. This method is
called when the AutomatedRuleApplicationManager
comes across a rule application in which some schema variables
are not yet instantiated, or which is in some other way
incomplete. The strategy then has the opportunity to
return/provide a list of (more) complete rule applications by
feeding them into the provided
RuleAppCostCollector
.static void updateStrategySettings(Proof proof, StrategyProperties p)
Strategy
for the given Proof
by setting the
Strategy
's StrategyProperties
to the given ones.proof
- The Proof
the strategy of which should be updated.p
- The new StrategyProperties