| java.lang.Object de.uka.ilkd.key.strategy.SimpleFilteredStrategy
SimpleFilteredStrategy | public class SimpleFilteredStrategy implements Strategy(Code) | | Trivial implementation of the Strategy interface
that uses only the goal time to determine the cost
of a RuleApp. A TacletFilter is used to filter out
RuleApps.
|
SimpleFilteredStrategy | public SimpleFilteredStrategy()(Code) | | |
SimpleFilteredStrategy | public SimpleFilteredStrategy(RuleFilter p_ruleFilter)(Code) | | |
computeCost | public 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). |
isApprovedApp | public 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 |
|
|