| Class | Description |
|---|---|
| BinaryTransitiveClosure |
For a binary base pattern, computes the irreflexive transitive closure (base)+
|
| ConstantValue | |
| PositivePatternCall | |
| TypeBinary | Deprecated
use
TypeConstraint |
| TypeConstraint |
Represents an enumerable type constraint that asserts that values substituted for the given tuple of variables
form a tuple that belongs to an enumerable extensional relation identified by an
IInputKey. |
| TypeUnary | Deprecated
use
TypeConstraint |