| Class | Description |
|---|---|
| AggregatorConstraint |
The PSystem representation of an aggregation.
|
| BaseTypeSafeConstraint | |
| Equality | |
| ExportedParameter | |
| ExpressionEvaluation | |
| Inequality | |
| NegativePatternCall | |
| PatternCallBasedDeferred | |
| PatternMatchCounter | |
| TypeFilterConstraint |
Represents a non-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. |