Binary feature that returns true iff the hyper-tableaux simplification method
approves the given application (which is supposed to be the application of a
replace-known rule). Used terminology is defined in Diss. by Martin Giese.
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
Methods inherited from de.uka.ilkd.key.strategy.feature.AbstractPolarityFeature