Class | Description |
---|---|
AbstractTransitiveClosure | |
BinaryReflexiveTransitiveClosure |
For a binary base pattern over an enumerable universe type, computes the reflexive transitive closure (base)*
|
BinaryTransitiveClosure |
For a binary base pattern, computes the irreflexive transitive closure (base)+
|
ConstantValue | |
PositivePatternCall | |
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 . |