Class PEnumerate
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.matchers.planning.operations.POperation
-
- org.eclipse.viatra.query.runtime.matchers.planning.operations.PEnumerate
-
public class PEnumerate extends POperation
Represents a base relation defined by the instance set of an enumerable PConstraint; there are no parent SubPlans.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 Summary
Constructors Constructor Description PEnumerate(EnumerablePConstraint enumerablePConstraint)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(java.lang.Object obj)
java.util.Set<? extends PConstraint>
getDeltaConstraints()
Newly enforced constraintsEnumerablePConstraint
getEnumerablePConstraint()
java.lang.String
getShortName()
int
hashCode()
int
numParentSubPlans()
-
Methods inherited from class org.eclipse.viatra.query.runtime.matchers.planning.operations.POperation
checkConsistency, toString
-
-
-
-
Constructor Detail
-
PEnumerate
public PEnumerate(EnumerablePConstraint enumerablePConstraint)
-
-
Method Detail
-
getEnumerablePConstraint
public EnumerablePConstraint getEnumerablePConstraint()
-
getDeltaConstraints
public java.util.Set<? extends PConstraint> getDeltaConstraints()
Description copied from class:POperation
Newly enforced constraints- Specified by:
getDeltaConstraints
in classPOperation
-
numParentSubPlans
public int numParentSubPlans()
- Specified by:
numParentSubPlans
in classPOperation
- Returns:
- the number of SubPlans that must be specified as parents
-
getShortName
public java.lang.String getShortName()
- Specified by:
getShortName
in classPOperation
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classjava.lang.Object
-
-