Class PStart
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.matchers.planning.operations.POperation
-
- org.eclipse.viatra.query.runtime.matchers.planning.operations.PStart
-
public class PStart extends POperation
No constraints, and no parent SubPlan, just a (possibly empty) set of a priori known (input) variables. Satisfied by a single tuple.Can also be used without a priori variables, e.g. as a "virtual parent" in extreme cases, such as
pattern foo(Bar) = {Bar = eval (3*4)}
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(java.lang.Object obj)java.util.Set<PVariable>getAPrioriVariables()java.util.Set<? extends PConstraint>getDeltaConstraints()Newly enforced constraintsjava.lang.StringgetShortName()inthashCode()intnumParentSubPlans()-
Methods inherited from class org.eclipse.viatra.query.runtime.matchers.planning.operations.POperation
checkConsistency, toString
-
-
-
-
Method Detail
-
getAPrioriVariables
public java.util.Set<PVariable> getAPrioriVariables()
-
getShortName
public java.lang.String getShortName()
- Specified by:
getShortNamein classPOperation
-
numParentSubPlans
public int numParentSubPlans()
- Specified by:
numParentSubPlansin classPOperation- Returns:
- the number of SubPlans that must be specified as parents
-
getDeltaConstraints
public java.util.Set<? extends PConstraint> getDeltaConstraints()
Description copied from class:POperationNewly enforced constraints- Specified by:
getDeltaConstraintsin classPOperation
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equalsin classjava.lang.Object
-
-