Package tools.refinery.interpreter.matchers.psystem

Class VariableDeferredPConstraint

java.lang.Object

tools.refinery.interpreter.matchers.psystem.BasePConstraint

tools.refinery.interpreter.matchers.psystem.DeferredPConstraint

tools.refinery.interpreter.matchers.psystem.VariableDeferredPConstraint

All Implemented Interfaces:

PConstraint, PTraceable

Direct Known Subclasses:

BaseTypeSafeConstraint, ExportedParameter, Inequality, PatternCallBasedDeferred, TypeFilterConstraint

public abstract class VariableDeferredPConstraint
extends DeferredPConstraint

A kind of deferred constraint that can only be checked when a set of deferring variables are all present in a plan.

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
VariableDeferredPConstraint(PBody pBody, Set<PVariable> affectedVariables)

Method Summary

Modifier and Type	Method	Description
abstract Set<PVariable>	getDeferringVariables()
boolean	isReadyAt(SubPlan plan, IQueryMetaContext context)	Refine further if needed

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

VariableDeferredPConstraint

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

Method Details

getDeferringVariables

public abstract Set<PVariable> getDeferringVariables()

isReadyAt

public boolean isReadyAt(SubPlan plan,
 IQueryMetaContext context)

Refine further if needed

Specified by:

isReadyAt in class DeferredPConstraint