private static class OneStepProofMacro.OneStepStrategy extends java.lang.Object implements Strategy
Modifier and Type | Field and Description |
---|---|
private int |
counter |
Strategy |
delegate |
private static Name |
NAME |
Constructor and Description |
---|
OneStepStrategy(Strategy delegate) |
Modifier and Type | Method and Description |
---|---|
RuleAppCost |
computeCost(RuleApp app,
PosInOccurrence pio,
Goal goal)
Evaluate the cost of a
RuleApp . |
void |
instantiateApp(RuleApp app,
PosInOccurrence pio,
Goal goal,
RuleAppCostCollector collector)
Instantiate an incomplete
RuleApp . |
boolean |
isApprovedApp(RuleApp app,
PosInOccurrence pio,
Goal goal)
If no rule was applied yet, apply the first rule and increase counter, s.t. no more rules can be applied.
|
boolean |
isStopAtFirstNonCloseableGoal()
|
Name |
name()
returns the name of this element
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
updateStrategySettings
private static final Name NAME
private int counter
public Strategy delegate
public OneStepStrategy(Strategy delegate)
public boolean isApprovedApp(RuleApp app, PosInOccurrence pio, Goal goal)
isApprovedApp
in interface Strategy
public RuleAppCost computeCost(RuleApp app, PosInOccurrence pio, Goal goal)
Feature
RuleApp
.computeCost
in interface Feature
app
- the RuleApppio
- position where app
is to be appliedgoal
- the goal on which app
is to be appliedRuleAppCost
object. TopRuleAppCost.INSTANCE
indicates that the rule shall not be applied at all (it is discarded by
the strategy).public void instantiateApp(RuleApp app, PosInOccurrence pio, Goal goal, RuleAppCostCollector collector)
Strategy
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
.instantiateApp
in interface Strategy
public boolean isStopAtFirstNonCloseableGoal()
Strategy
isStopAtFirstNonCloseableGoal
in interface Strategy
true
stop, false
continue on other Goal
s.