public class NegativePatternCall extends PatternCallBasedDeferred
actualParametersTuple, querypBodyCOMPARE_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, getReferredQueryisReadyAtdelete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetReferredQueriespublic java.util.Set<PVariable> getDeducedVariables()
PConstraintprotected java.util.Set<PVariable> getCandidateQuantifiedVariables()
getCandidateQuantifiedVariables in class PatternCallBasedDeferredprotected void doDoReplaceVariables(PVariable obsolete, PVariable replacement)
doDoReplaceVariables in class PatternCallBasedDeferredprotected java.lang.String toStringRest()
toStringRest in class BasePConstraint