org.eclipse.viatra.query.runtime.matchers.psystem

Class DeferredPConstraint

java.lang.Object

org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint

org.eclipse.viatra.query.runtime.matchers.psystem.DeferredPConstraint

All Implemented Interfaces:

PConstraint, PTraceable

Direct Known Subclasses:

Equality, VariableDeferredPConstraint

public abstract class DeferredPConstraint
extends BasePConstraint

Any constraint that can only be checked on certain SubPlans (e.g. those plans that already contain some variables).

Nested Class Summary

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

PConstraint.CompareByMonotonousID

Field Summary

Fields inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint

pBody

Constructor Summary

Constructors

Constructor and Description
DeferredPConstraint(PBody pBody, java.util.Set<PVariable> affectedVariables)

Method Summary

Modifier and Type	Method and Description
abstract boolean	isReadyAt(SubPlan plan, IQueryMetaContext context)

Methods inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint

getDeducedVariables

Constructor Detail

DeferredPConstraint

public DeferredPConstraint(PBody pBody,
                           java.util.Set<PVariable> affectedVariables)

Method Detail

isReadyAt

public abstract boolean isReadyAt(SubPlan plan,
                                  IQueryMetaContext context)