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).
-
-
Field Summary
-
Fields inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint
pBody
-
Fields inherited from interface org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint
COMPARE_BY_MONOTONOUS_ID
-
-
Constructor Summary
Constructors Constructor Description DeferredPConstraint(PBody pBody, java.util.Set<PVariable> affectedVariables)
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description abstract boolean
isReadyAt(SubPlan plan, IQueryMetaContext context)
-
Methods inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint
checkSanity, delete, doReplaceVariable, getAffectedVariables, getBody, 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
-
-
-
-
Method Detail
-
isReadyAt
public abstract boolean isReadyAt(SubPlan plan, IQueryMetaContext context)
-
-