| Class | Description |
|---|---|
| BinaryTransitiveClosureCheck |
Checking for a transitive closure expressed as a local search pattern matcher.
|
| CheckConstant |
This operation handles constants in search plans by checking if a variable is bound to a certain constant value.
|
| CheckOperation |
Abstract base class for search operations that check only the already set variables.
|
| ContainmentCheck |
A simple operation that checks whether a
EStructuralFeature connects two selected variables. |
| CountCheck |
Calculates the count of matches for a called matcher
|
| ExpressionCheck | |
| InequalityCheck | |
| InstanceOfClassCheck | |
| InstanceOfDataTypeCheck | |
| NACOperation | |
| StructuralFeatureCheck |
A simple operation that checks whether a
EStructuralFeature connects two selected variables. |