public abstract class PatternCallBasedDeferred extends VariableDeferredPConstraint implements IQueryReference
Modifier and Type | Field and Description |
---|---|
protected Tuple |
actualParametersTuple |
protected PQuery |
query |
pBody
COMPARE_BY_MONOTONOUS_ID
Constructor and Description |
---|
PatternCallBasedDeferred(PBody pBody,
Tuple actualParametersTuple,
PQuery pattern) |
PatternCallBasedDeferred(PBody pBody,
Tuple actualParametersTuple,
PQuery pattern,
java.util.Set<PVariable> additionalAffectedVariables) |
Modifier and Type | Method and Description |
---|---|
void |
checkSanity() |
protected abstract void |
doDoReplaceVariables(PVariable obsolete,
PVariable replacement) |
protected void |
doReplaceVariable(PVariable obsolete,
PVariable replacement) |
Tuple |
getActualParametersTuple() |
protected abstract java.util.Set<PVariable> |
getCandidateQuantifiedVariables() |
java.util.Set<PVariable> |
getDeferringVariables() |
PQuery |
getReferredQuery() |
isReadyAt
delete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toString, toStringRest
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getDeducedVariables
protected Tuple actualParametersTuple
protected PQuery query
public PatternCallBasedDeferred(PBody pBody, Tuple actualParametersTuple, PQuery pattern, java.util.Set<PVariable> additionalAffectedVariables)
protected abstract void doDoReplaceVariables(PVariable obsolete, PVariable replacement)
protected abstract java.util.Set<PVariable> getCandidateQuantifiedVariables()
public java.util.Set<PVariable> getDeferringVariables()
getDeferringVariables
in class VariableDeferredPConstraint
public void checkSanity()
checkSanity
in interface PConstraint
checkSanity
in class BasePConstraint
protected void doReplaceVariable(PVariable obsolete, PVariable replacement)
doReplaceVariable
in class BasePConstraint
public Tuple getActualParametersTuple()
public PQuery getReferredQuery()
getReferredQuery
in interface IQueryReference