public class SimplifyBetaCandidateFeature extends AbstractBetaFeature
AbstractBetaFeature.TermInfo
Modifier | Constructor and Description |
---|---|
private |
SimplifyBetaCandidateFeature() |
Modifier and Type | Method and Description |
---|---|
protected RuleAppCost |
doComputation(PosInOccurrence pos,
Term findTerm,
ServiceCaches caches) |
alwaysReplace, computeCost, containsNegAtom, containsQuantifier, hasPurePosPath, isBetaCandidate, maxDPath, maxPosPath
public static final Feature INSTANCE
protected RuleAppCost doComputation(PosInOccurrence pos, Term findTerm, ServiceCaches caches)
doComputation
in class AbstractBetaFeature