Class PApply
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.matchers.planning.operations.POperation
-
- org.eclipse.viatra.query.runtime.matchers.planning.operations.PApply
-
public class PApply extends POperation
Represents a constraint application on a single parent SubPlan.Either a "selection" filter operation according to a deferred PConstraint (or transform in case of eval/aggregate), or alternatively a shorthand for PJoin + a PEnumerate on the right input for an enumerable PConstraint.
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 PApply(PConstraint pConstraint)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidcheckConsistency(SubPlan subPlan)Checks whether this constraint can be properly applied at the given SubPlan.booleanequals(java.lang.Object obj)java.util.Set<? extends PConstraint>getDeltaConstraints()Newly enforced constraintsPConstraintgetPConstraint()java.lang.StringgetShortName()inthashCode()intnumParentSubPlans()-
Methods inherited from class org.eclipse.viatra.query.runtime.matchers.planning.operations.POperation
toString
-
-
-
-
Constructor Detail
-
PApply
public PApply(PConstraint pConstraint)
-
-
Method Detail
-
getPConstraint
public PConstraint getPConstraint()
-
getShortName
public java.lang.String getShortName()
- Specified by:
getShortNamein classPOperation
-
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
-
checkConsistency
public void checkConsistency(SubPlan subPlan)
Description copied from class:POperationChecks whether this constraint can be properly applied at the given SubPlan.- Overrides:
checkConsistencyin classPOperation
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equalsin classjava.lang.Object
-
-