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

Class PEnumerate

java.lang.Object

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

tools.refinery.interpreter.matchers.planning.operations.PEnumerate

public class PEnumerate
extends POperation

Represents a base relation defined by the instance set of an enumerable PConstraint; there are no parent SubPlans.

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
PEnumerate(EnumerablePConstraint enumerablePConstraint)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
Set<? extends PConstraint>	getDeltaConstraints()	Newly enforced constraints
EnumerablePConstraint	getEnumerablePConstraint()
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

PEnumerate

public PEnumerate(EnumerablePConstraint enumerablePConstraint)

Method Details

getEnumerablePConstraint

public EnumerablePConstraint getEnumerablePConstraint()

getDeltaConstraints

public Set<? extends PConstraint> getDeltaConstraints()

Description copied from class: POperation

Newly enforced constraints

Specified by:

getDeltaConstraints in class POperation

numParentSubPlans

public int numParentSubPlans()

Specified by:

numParentSubPlans in class POperation

Returns:

the number of SubPlans that must be specified as parents

getShortName

public String getShortName()

Specified by:

getShortName in class POperation

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object