public class SimplifyReplaceKnownCandidateFeature extends AbstractPolarityFeature implements Feature
Modifier | Constructor and Description |
---|---|
private |
SimplifyReplaceKnownCandidateFeature() |
Modifier and Type | Method and Description |
---|---|
RuleAppCost |
computeCost(RuleApp ruleApp,
PosInOccurrence pos,
Goal goal)
Compute the cost of a RuleApp.
|
private boolean |
isAllowedPosition(PosInOccurrence pos) |
polarity
public static final Feature INSTANCE
private SimplifyReplaceKnownCandidateFeature()
public RuleAppCost computeCost(RuleApp ruleApp, PosInOccurrence pos, Goal goal)
computeCost
in interface Feature
ruleApp
- the RuleApppos
- position where app
is to be appliedgoal
- the goal on which app
is to be appliedapp
private boolean isAllowedPosition(PosInOccurrence pos)