Package tools.refinery.interpreter.matchers.planning.operations

Class PStart

java.lang.Object

tools.refinery.interpreter.matchers.planning.operations.POperation

tools.refinery.interpreter.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)}

Constructor Summary

Constructors

Constructor	Description
PStart(Set<PVariable> aPrioriVariables)
PStart(PVariable... aPrioriVariables)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
Set<PVariable>	getAPrioriVariables()
Set<? extends PConstraint>	getDeltaConstraints()	Newly enforced constraints
String	getShortName()
int	hashCode()
int	numParentSubPlans()

Methods inherited from class tools.refinery.interpreter.matchers.planning.operations.POperation

checkConsistency, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

PStart

public PStart(Set<PVariable> aPrioriVariables)

PStart

public PStart(PVariable... aPrioriVariables)

Method Details

getAPrioriVariables

public Set<PVariable> getAPrioriVariables()

getShortName

public String getShortName()

Specified by:

getShortName in class POperation

numParentSubPlans

public int numParentSubPlans()

Specified by:

numParentSubPlans in class POperation

Returns:

the number of SubPlans that must be specified as parents

getDeltaConstraints

public Set<? extends PConstraint> getDeltaConstraints()

Description copied from class: POperation

Newly enforced constraints

Specified by:

getDeltaConstraints in class POperation

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object