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 |