public class NegativePatternCall extends PatternCallBasedDeferred
actualParametersTuple, query
pBody
COMPARE_BY_MONOTONOUS_ID
Constructor and Description |
---|
NegativePatternCall(PBody pBody,
Tuple actualParametersTuple,
PQuery query) |
Modifier and Type | Method and Description |
---|---|
protected void |
doDoReplaceVariables(PVariable obsolete,
PVariable replacement) |
protected java.util.Set<PVariable> |
getCandidateQuantifiedVariables() |
java.util.Set<PVariable> |
getDeducedVariables()
The set of variables whose potential values can be enumerated (once all non-deduced variables have known values).
|
protected java.lang.String |
toStringRest() |
checkSanity, doReplaceVariable, getActualParametersTuple, getDeferringVariables, getReferredQuery
isReadyAt
delete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getReferredQueries
public java.util.Set<PVariable> getDeducedVariables()
PConstraint
protected java.util.Set<PVariable> getCandidateQuantifiedVariables()
getCandidateQuantifiedVariables
in class PatternCallBasedDeferred
protected void doDoReplaceVariables(PVariable obsolete, PVariable replacement)
doDoReplaceVariables
in class PatternCallBasedDeferred
protected java.lang.String toStringRest()
toStringRest
in class BasePConstraint