Package tools.refinery.interpreter.matchers.psystem.basicdeferred

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

isReadyAt

Methods inherited from class tools.refinery.interpreter.matchers.psystem.BasePConstraint

delete, 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.IQueryReference

getReferredQueries

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