public class PEnumerate extends POperation
WARNING: if there are coinciding variables in the variable tuple of the enumerable constraint, it is the responsibility of the compiler to check them for equality.
| Constructor and Description |
|---|
PEnumerate(EnumerablePConstraint enumerablePConstraint) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object obj) |
java.util.Set<? extends PConstraint> |
getDeltaConstraints()
Newly enforced constraints
|
EnumerablePConstraint |
getEnumerablePConstraint() |
java.lang.String |
getShortName() |
int |
hashCode() |
int |
numParentSubPlans() |
checkConsistency, toStringpublic PEnumerate(EnumerablePConstraint enumerablePConstraint)
public EnumerablePConstraint getEnumerablePConstraint()
public java.util.Set<? extends PConstraint> getDeltaConstraints()
POperationgetDeltaConstraints in class POperationpublic int numParentSubPlans()
numParentSubPlans in class POperationpublic java.lang.String getShortName()
getShortName in class POperationpublic int hashCode()
hashCode in class java.lang.Objectpublic boolean equals(java.lang.Object obj)
equals in class java.lang.Object