Modifier and Type | Interface and Description |
---|---|
interface |
ITypeConstraint
Common superinterface of enumerable and deferred type constraints.
|
Modifier and Type | Class and Description |
---|---|
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 . |
Modifier and Type | Class and Description |
---|---|
class |
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 . |