Class PProject
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.matchers.planning.operations.POperation
-
- org.eclipse.viatra.query.runtime.matchers.planning.operations.PProject
-
public class PProject extends POperation
Represents a projection of a single parent SubPlan onto a limited set of variables.May optionally prescribe an ordering of variables (List, as opposed to Set).
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
checkConsistency(SubPlan subPlan)
Checks whether this constraint can be properly applied at the given SubPlan.boolean
equals(java.lang.Object obj)
java.util.Set<? extends PConstraint>
getDeltaConstraints()
Newly enforced constraintsjava.lang.String
getShortName()
java.util.Collection<PVariable>
getToVariables()
int
hashCode()
boolean
isOrdered()
int
numParentSubPlans()
-
Methods inherited from class org.eclipse.viatra.query.runtime.matchers.planning.operations.POperation
toString
-
-
-
-
Method Detail
-
getToVariables
public java.util.Collection<PVariable> getToVariables()
-
isOrdered
public boolean isOrdered()
-
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
-
checkConsistency
public void checkConsistency(SubPlan subPlan)
Description copied from class:POperation
Checks whether this constraint can be properly applied at the given SubPlan.- Overrides:
checkConsistency
in classPOperation
-
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
-
-