public abstract class PatternCallBasedDeferred extends VariableDeferredPConstraint implements IQueryReference
| Modifier and Type | Field and Description |
|---|---|
protected Tuple |
actualParametersTuple |
protected PQuery |
query |
pBodyCOMPARE_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() |
isReadyAtdelete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toString, toStringRestclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetReferredQueriesgetDeducedVariablesprotected 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 VariableDeferredPConstraintpublic void checkSanity()
checkSanity in interface PConstraintcheckSanity in class BasePConstraintprotected void doReplaceVariable(PVariable obsolete, PVariable replacement)
doReplaceVariable in class BasePConstraintpublic Tuple getActualParametersTuple()
public PQuery getReferredQuery()
getReferredQuery in interface IQueryReference