de.uka.ilkd.key.strategy.feature.findprefix

Interfaces

• Checker
• Modifier

Classes

• AntecChecker
• AntecSuccPrefixChecker
• FindPrefixRestrictionFeature
• RemoveParentUpdateModifier
• SuccChecker
• TopLevelChecker

Enums

• AntecSuccPrefixChecker.Polarity
• FindPrefixRestrictionFeature.PositionModifier
• FindPrefixRestrictionFeature.PrefixChecker