| de.uka.ilkd.key.strategy.Strategy
All known Subclasses: de.uka.ilkd.key.strategy.SimpleFilteredStrategy, de.uka.ilkd.key.strategy.FIFOStrategy, de.uka.ilkd.key.strategy.AbstractFeatureStrategy,
| Strategy | | public interface Strategy extends Named(Code) | | Generic interface for evaluating the cost of
a RuleApp with regard to a specific strategy
|
| computeCost | | RuleAppCost computeCost(RuleApp app, PosInOccurrence pio, Goal goal)(Code) | | Evaluate the cost of a RuleApp.
the cost of the rule application expressed asa RuleAppCost object.TopRuleAppCost.INSTANCE indicatesthat the rule shall not be applied at all (it is discarded by the strategy). |
| instantiateApp | | void instantiateApp(RuleApp app, PosInOccurrence pio, Goal goal, RuleAppCostCollector collector)(Code) | | Instantiate an incomplete 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.
|
| isApprovedApp | | boolean isApprovedApp(RuleApp app, PosInOccurrence pio, Goal goal)(Code) | | Re-Evaluate a RuleApp. This method is
called immediately before a rule is really applied
true iff the rule should be applied, false otherwise |
|
|