| java.lang.Object de.uka.ilkd.key.strategy.feature.FindRightishFeature
FindRightishFeature | public class FindRightishFeature implements Feature(Code) | | Walking from the root of a formula down to the focus of a rule application,
count how often we choose the left branch (subterm) and how the right
branches. This is used to identify the upper/righter/bigger summands in a
polynomial that is arranged in a left-associated way.
|
|
|