Class PatternCallBasedDeferred

java.lang.Object

tools.refinery.interpreter.matchers.psystem.BasePConstraint

tools.refinery.interpreter.matchers.psystem.DeferredPConstraint

tools.refinery.interpreter.matchers.psystem.VariableDeferredPConstraint

tools.refinery.interpreter.matchers.psystem.basicdeferred.PatternCallBasedDeferred

All Implemented Interfaces:

IMultiQueryReference, IQueryReference, PConstraint, PTraceable

Direct Known Subclasses:

AggregatorConstraint, LeftJoinConstraint, NegativePatternCall, PatternMatchCounter

public abstract class PatternCallBasedDeferred
extends VariableDeferredPConstraint
implements IQueryReference

Field Summary

Fields

Modifier and Type	Field	Description
protected Tuple	actualParametersTuple
protected PQuery	query

Fields inherited from class BasePConstraint

pBody

Fields inherited from interface PConstraint

COMPARE_BY_MONOTONOUS_ID

Constructor Summary

Constructors

Constructor	Description
PatternCallBasedDeferred(PBody pBody, Tuple actualParametersTuple, PQuery pattern)
PatternCallBasedDeferred(PBody pBody, Tuple actualParametersTuple, PQuery pattern, Set<PVariable> additionalAffectedVariables)

Method Summary

Modifier and Type	Method	Description
void	checkSanity()
protected abstract void	doDoReplaceVariables(PVariable obsolete, PVariable replacement)
protected void	doReplaceVariable(PVariable obsolete, PVariable replacement)
Tuple	getActualParametersTuple()
protected abstract Set<PVariable>	getCandidateQuantifiedVariables()
Set<PVariable>	getDeferringVariables()
PQuery	getReferredQuery()

Methods inherited from class VariableDeferredPConstraint

isReadyAt

Methods inherited from class BasePConstraint

delete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toString, toStringRest

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface IQueryReference

getReferredQueries

Methods inherited from interface PConstraint

getDeducedVariables

Field Details

actualParametersTuple

protected Tuple actualParametersTuple

query

protected PQuery query

Constructor Details

PatternCallBasedDeferred

public PatternCallBasedDeferred(PBody pBody,
 Tuple actualParametersTuple,
 PQuery pattern,
 Set<PVariable> additionalAffectedVariables)

PatternCallBasedDeferred

public PatternCallBasedDeferred(PBody pBody,
 Tuple actualParametersTuple,
 PQuery pattern)

Method Details

doDoReplaceVariables

protected abstract void doDoReplaceVariables(PVariable obsolete,
 PVariable replacement)

getCandidateQuantifiedVariables

protected abstract Set<PVariable> getCandidateQuantifiedVariables()

getDeferringVariables

public Set<PVariable> getDeferringVariables()

Specified by:

getDeferringVariables in class VariableDeferredPConstraint

checkSanity

public void checkSanity()

Specified by:

checkSanity in interface PConstraint

Overrides:

checkSanity in class BasePConstraint

doReplaceVariable

protected void doReplaceVariable(PVariable obsolete,
 PVariable replacement)

Specified by:

doReplaceVariable in class BasePConstraint

getActualParametersTuple

public Tuple getActualParametersTuple()

getReferredQuery

public PQuery getReferredQuery()

Specified by:

getReferredQuery in interface IQueryReference