| java.lang.Object
 de.uka.ilkd.key.strategy.feature.RuleSetDispatchFeature
| RuleSetDispatchFeature | | public class RuleSetDispatchFeature implements Feature(Code) | | Feature for relating rule sets with feature terms. Given a taclet
application, this feature will iterate over the rule sets that the taclet
belongs to, and for each rule set the corresponding feature term (if
existing) is evaluated. The result of the feature is the sum of the results
of the different rule set features.
|
| add | | public void add(RuleSet ruleSet, Feature f)(Code) | | Bind feature f to the rule set ruleSet. If
this method is called more than once for the same rule set, the given
features are added to each other.
|
| clear | | public void clear(RuleSet ruleSet)(Code) | | Remove all features that have been related to ruleSet.
|
|
|