Class NegativePatternCall

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

tools.refinery.interpreter.matchers.psystem.basicdeferred.NegativePatternCall

All Implemented Interfaces:

IMultiQueryReference, IQueryReference, PConstraint, PTraceable

public class NegativePatternCall
extends PatternCallBasedDeferred

Field Summary

Fields inherited from class PatternCallBasedDeferred

actualParametersTuple, query

Fields inherited from class BasePConstraint

pBody

Fields inherited from interface PConstraint

COMPARE_BY_MONOTONOUS_ID

Constructor Summary

Constructors

Constructor	Description
NegativePatternCall(PBody pBody, Tuple actualParametersTuple, PQuery query)

Method Summary

Modifier and Type	Method	Description
protected void	doDoReplaceVariables(PVariable obsolete, PVariable replacement)
protected Set<PVariable>	getCandidateQuantifiedVariables()
Set<PVariable>	getDeducedVariables()	The set of variables whose potential values can be enumerated (once all non-deduced variables have known values).
protected String	toStringRest()

Methods inherited from class PatternCallBasedDeferred

checkSanity, doReplaceVariable, getActualParametersTuple, getDeferringVariables, getReferredQuery

Methods inherited from class VariableDeferredPConstraint

isReadyAt

Methods inherited from class BasePConstraint

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

Methods inherited from class Object

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

Methods inherited from interface IQueryReference

getReferredQueries

Constructor Details

NegativePatternCall

public NegativePatternCall(PBody pBody,
 Tuple actualParametersTuple,
 PQuery query)

Method Details

getDeducedVariables

public Set<PVariable> getDeducedVariables()

Description copied from interface: PConstraint

The set of variables whose potential values can be enumerated (once all non-deduced variables have known values).

getCandidateQuantifiedVariables

protected Set<PVariable> getCandidateQuantifiedVariables()

Specified by:

getCandidateQuantifiedVariables in class PatternCallBasedDeferred

Returns:

all variables that may potentially be quantified they are not used anywhere else

doDoReplaceVariables

protected void doDoReplaceVariables(PVariable obsolete,
 PVariable replacement)

Specified by:

doDoReplaceVariables in class PatternCallBasedDeferred

toStringRest

protected String toStringRest()

Specified by:

toStringRest in class BasePConstraint