Class | Description |
---|---|
FindPrefixRestrictionFeature |
Feature for investigating whether some restrictions to the prefix of the
find formula apply.
|
RemoveParentUpdateModifier |
If the parent operator of the find term is an update application,
then change the position (on which the checkers are applied)
to the parent operator.
|
Enum | Description |
---|---|
FindPrefixRestrictionFeature.PositionModifier | |
FindPrefixRestrictionFeature.PrefixChecker |
Copyright © 2003-2019 The KeY-Project.