public class FocusIsSubFormulaOfInfFlowContractAppFeature extends java.lang.Object implements Feature
Modifier and Type | Class and Description |
---|---|
private class |
FocusIsSubFormulaOfInfFlowContractAppFeature.SubFormulaVisitor |
Modifier | Constructor and Description |
---|---|
protected |
FocusIsSubFormulaOfInfFlowContractAppFeature() |
Modifier and Type | Method and Description |
---|---|
RuleAppCost |
computeCost(RuleApp ruleApp,
PosInOccurrence pos,
Goal goal)
Evaluate the cost of a
RuleApp . |
private boolean |
isSubFormula(Term f1,
Term f2) |
public static final Feature INSTANCE
protected FocusIsSubFormulaOfInfFlowContractAppFeature()
public RuleAppCost computeCost(RuleApp ruleApp, PosInOccurrence pos, Goal goal)
Feature
RuleApp
.computeCost
in interface Feature
ruleApp
- 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).