| java.lang.Object de.uka.ilkd.key.strategy.FIFOStrategy
FIFOStrategy | public class FIFOStrategy implements Strategy(Code) | | Trivial implementation of the Strategy interface
that uses only the goal time to determine the cost
of a RuleApp.
|
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 |
|
|