| java.lang.Object de.uka.ilkd.key.strategy.feature.BinaryFeature
All known Subclasses: de.uka.ilkd.key.strategy.feature.FocusInAntecFeature, de.uka.ilkd.key.strategy.feature.BinaryTacletAppFeature, de.uka.ilkd.key.strategy.feature.ThrownExceptionFeature, de.uka.ilkd.key.strategy.feature.InUpdateFeature, de.uka.ilkd.key.strategy.feature.AllowedCutPositionFeature, de.uka.ilkd.key.strategy.feature.NotBelowQuantifierFeature, de.uka.ilkd.key.strategy.feature.ImplicitCastNecessary, de.uka.ilkd.key.strategy.feature.DirectlyBelowFeature, de.uka.ilkd.key.strategy.feature.SortComparisionFeature, de.uka.ilkd.key.strategy.feature.NotBelowBinderFeature, de.uka.ilkd.key.strategy.quantifierHeuristics.SplittableQuantifiedFormulaFeature, de.uka.ilkd.key.strategy.feature.NotInScopeOfModalityFeature, de.uka.ilkd.key.strategy.feature.CompareCostsFeature, de.uka.ilkd.key.strategy.feature.BreakpointFeature, de.uka.ilkd.key.strategy.feature.SeqContainsExecutableCodeFeature, de.uka.ilkd.key.strategy.feature.FormulaAddedByRuleFeature, de.uka.ilkd.key.strategy.feature.FocusHasConstraintFeature, de.uka.ilkd.key.strategy.feature.LabelFeature,
BinaryFeature | abstract public class BinaryFeature implements Feature(Code) | | Abstract superclass for features that have either zero cost or top cost.
|
TOP_COST | final public static RuleAppCost TOP_COST(Code) | | Constant that represents the boolean value false
|
ZERO_COST | final public static RuleAppCost ZERO_COST(Code) | | Constant that represents the boolean value true
|
BinaryFeature | protected BinaryFeature()(Code) | | |
filter | abstract protected boolean filter(RuleApp app, PosInOccurrence pos, Goal goal)(Code) | | Compute whether the result of the feature is zero (true )
or infinity (false )
Parameters: app - the RuleApp Parameters: pos - position where app is to be applied Parameters: goal - the goal on which app is to be applied true iff the the result of the feature is supposed to be zero. |
|
|