| Interface | Description |
|---|---|
| Checker |
Interface for prefix checkers.
|
| Modifier |
Interface for position modifiers.
|
| Class | Description |
|---|---|
| AntecChecker |
Checks, whether the position in occurrence is in the antecedent.
|
| AntecSuccPrefixChecker |
Checks, whether the position in occurrence has antecedent/succedent polarity.
|
| 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.
|
| SuccChecker |
Checks, whether the position in occurrence is in the succedent.
|
| TopLevelChecker |
Checks, whether the position in occurrence is top level.
|
| Enum | Description |
|---|---|
| AntecSuccPrefixChecker.Polarity | |
| FindPrefixRestrictionFeature.PositionModifier | |
| FindPrefixRestrictionFeature.PrefixChecker |