| Package | Description |
|---|---|
| org.eclipse.incquery.runtime.matchers.psystem | |
| org.eclipse.incquery.runtime.matchers.psystem.basicdeferred |
| Modifier and Type | Class and Description |
|---|---|
class |
VariableDeferredPConstraint
A kind of deferred constraint that can only be checked when a set of deferring variables are all present in a plan.
|
| Modifier and Type | Class and Description |
|---|---|
class |
BaseTypeSafeConstraint |
class |
Equality |
class |
ExportedParameter |
class |
ExpressionEvaluation |
class |
Inequality |
class |
NegativePatternCall |
class |
PatternCallBasedDeferred |
class |
PatternMatchCounter |
class |
TypeFilterConstraint
Represents an enumerable type constraint that asserts that values substituted for the given tuple of variables
form a tuple that belongs to a (typically non-enumerable) extensional relation identified by an
IInputKey. |