|
| |
|
| de.uka.ilkd.key.strategy.feature.Feature
All known Subclasses: de.uka.ilkd.key.strategy.feature.ConditionalFeature, de.uka.ilkd.key.strategy.feature.CountBranchFeature, de.uka.ilkd.key.strategy.feature.instantiator.ForEachCP, de.uka.ilkd.key.strategy.feature.AgeFeature, de.uka.ilkd.key.strategy.feature.LetFeature, de.uka.ilkd.key.strategy.quantifierHeuristics.InstantiationCost, de.uka.ilkd.key.strategy.feature.ShannonFeature, de.uka.ilkd.key.strategy.feature.instantiator.OneOfCP, de.uka.ilkd.key.strategy.feature.SimplifyReplaceKnownCandidateFeature, de.uka.ilkd.key.strategy.feature.IfThenElseMalusFeature, de.uka.ilkd.key.strategy.feature.TernarySumFeature, de.uka.ilkd.key.strategy.feature.BinarySumFeature, de.uka.ilkd.key.strategy.feature.instantiator.SVInstantiationCP, de.uka.ilkd.key.strategy.feature.SumFeature, de.uka.ilkd.key.strategy.feature.ComprehendedSumFeature, de.uka.ilkd.key.strategy.feature.FindRightishFeature, de.uka.ilkd.key.strategy.feature.ConstFeature, de.uka.ilkd.key.strategy.feature.AbstractBetaFeature, de.uka.ilkd.key.strategy.feature.ApplyTFFeature, de.uka.ilkd.key.strategy.feature.BinaryFeature, de.uka.ilkd.key.strategy.feature.ScaleFeature, de.uka.ilkd.key.strategy.feature.RuleSetDispatchFeature, de.uka.ilkd.key.strategy.feature.FindDepthFeature, de.uka.ilkd.key.strategy.quantifierHeuristics.InstantiationCostScalerFeature,
| Feature | | public interface Feature (Code) | | Interface for computing the cost of a RuleApp with regard to a specific
feature.
|
| compute | | RuleAppCost compute(RuleApp app, PosInOccurrence pos, Goal goal)(Code) | | Compute the cost of a RuleApp.
Parameters:
app - the RuleApp
Parameters:
pos - position where app is to be applied
Parameters:
goal - the goal on which app is to be applied the cost of app |
|
|
|