Package tools.refinery.interpreter.matchers.psystem

Class DeferredPConstraint

java.lang.Object

tools.refinery.interpreter.matchers.psystem.BasePConstraint

tools.refinery.interpreter.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 tools.refinery.interpreter.matchers.psystem.BasePConstraint

pBody

Fields inherited from interface tools.refinery.interpreter.matchers.psystem.PConstraint

COMPARE_BY_MONOTONOUS_ID

Constructor Summary

Constructors

Constructor	Description
DeferredPConstraint(PBody pBody, Set<PVariable> affectedVariables)

Method Summary

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

Methods inherited from class tools.refinery.interpreter.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 tools.refinery.interpreter.matchers.psystem.PConstraint

getDeducedVariables

Constructor Details

DeferredPConstraint

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

Method Details

isReadyAt

public abstract boolean isReadyAt(SubPlan plan,
 IQueryMetaContext context)