| Modifier and Type | Method and Description |
|---|---|
EnumerablePConstraint |
PEnumerate.getEnumerablePConstraint() |
| Constructor and Description |
|---|
PEnumerate(EnumerablePConstraint enumerablePConstraint) |
| Modifier and Type | Class and Description |
|---|---|
class |
KeyedEnumerablePConstraint<KeyType> |
| Modifier and Type | Class and Description |
|---|---|
class |
BinaryTransitiveClosure
For a binary base pattern, computes the irreflexive transitive closure (base)+
|
class |
ConstantValue |
class |
PositivePatternCall |
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. |
| Modifier and Type | Method and Description |
|---|---|
static java.util.List<PVariable> |
CompilerHelper.convertVariablesTuple(EnumerablePConstraint constraint)
Extracts the variable list representation of the variables tuple.
|