public class PStart extends POperation
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)}
Constructor and Description |
---|
PStart(PVariable... aPrioriVariables) |
PStart(java.util.Set<PVariable> aPrioriVariables) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.util.Set<PVariable> |
getAPrioriVariables() |
java.util.Set<? extends PConstraint> |
getDeltaConstraints()
Newly enforced constraints
|
java.lang.String |
getShortName() |
int |
hashCode() |
int |
numParentSubPlans() |
checkConsistency, toString
public PStart(java.util.Set<PVariable> aPrioriVariables)
public PStart(PVariable... aPrioriVariables)
public java.util.Set<PVariable> getAPrioriVariables()
public java.lang.String getShortName()
getShortName
in class POperation
public int numParentSubPlans()
numParentSubPlans
in class POperation
public java.util.Set<? extends PConstraint> getDeltaConstraints()
POperation
getDeltaConstraints
in class POperation
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object