org.eclipse.incquery.runtime.matchers.psystem

Class EnumerablePConstraint

java.lang.Object

org.eclipse.incquery.runtime.matchers.psystem.BasePConstraint

org.eclipse.incquery.runtime.matchers.psystem.EnumerablePConstraint

All Implemented Interfaces:

PConstraint

Direct Known Subclasses:

KeyedEnumerablePConstraint

public abstract class EnumerablePConstraint
extends BasePConstraint

A constraint for which all satisfying tuples of variable values can be enumerated at any point during run-time.

Author:

Gabor Bergmann

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.incquery.runtime.matchers.psystem.PConstraint

PConstraint.CompareByMonotonousID

Method Summary

Modifier and Type	Method and Description
void	doReplaceVariable(PVariable obsolete, PVariable replacement)
java.util.Set<PVariable>	getDeducedVariables() The set of variables whose potential values can be enumerated (once all non-deduced variables have known values).
PVariable	getVariableInTuple(int index)
Tuple	getVariablesTuple()

Methods inherited from class org.eclipse.incquery.runtime.matchers.psystem.BasePConstraint

checkSanity, delete, getAffectedVariables, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

doReplaceVariable

public void doReplaceVariable(PVariable obsolete,
                              PVariable replacement)

getVariablesTuple

public Tuple getVariablesTuple()

getDeducedVariables

public java.util.Set<PVariable> getDeducedVariables()

Description copied from interface: PConstraint

The set of variables whose potential values can be enumerated (once all non-deduced variables have known values).

getVariableInTuple

public PVariable getVariableInTuple(int index)