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 booleanequals(java.lang.Object obj)java.util.Set<? extends PConstraint>getDeltaConstraints()Newly enforced constraintsEnumerablePConstraintgetEnumerablePConstraint()java.lang.StringgetShortName()inthashCode()intnumParentSubPlans()-
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:POperationNewly enforced constraints- Specified by:
getDeltaConstraintsin classPOperation
-
numParentSubPlans
public int numParentSubPlans()
- Specified by:
numParentSubPlansin classPOperation- Returns:
- the number of SubPlans that must be specified as parents
-
getShortName
public java.lang.String getShortName()
- Specified by:
getShortNamein classPOperation
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equalsin classjava.lang.Object
-
-