Modifier and Type | Method and Description |
---|---|
RuleAppCost |
computeCost(RuleApp app,
PosInOccurrence pos,
Goal goal)
Evaluate the cost of a
RuleApp . |
static Feature |
create(ProjectionToTerm proj,
TermFeature tf) |
static Feature |
createNonStrict(ProjectionToTerm proj,
TermFeature tf,
RuleAppCost noInstCost) |
public static Feature createNonStrict(ProjectionToTerm proj, TermFeature tf, RuleAppCost noInstCost)
public static Feature create(ProjectionToTerm proj, TermFeature tf)
public RuleAppCost computeCost(RuleApp app, PosInOccurrence pos, Goal goal)
Feature
RuleApp
.computeCost
in interface Feature
app
- the RuleApppos
- 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).Copyright © 2003-2019 The KeY-Project.