public class PatternMatchCounter extends PatternCallBasedDeferred
actualParametersTuple, querypBodyCOMPARE_BY_MONOTONOUS_ID| Constructor and Description |
|---|
PatternMatchCounter(PBody pBody,
Tuple actualParametersTuple,
PQuery query,
PVariable resultVariable) |
| 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).
|
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> |
getFunctionalDependencies(IQueryMetaContext context)
A (preferably minimal) cover of known functional dependencies between variables.
|
PVariable |
getResultVariable() |
protected java.lang.String |
toStringRest() |
checkSanity, doReplaceVariable, getActualParametersTuple, getDeferringVariables, getReferredQueryisReadyAtdelete, getAffectedVariables, getBody, getMonotonousID, getPSystem, replaceVariable, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetReferredQueriespublic java.util.Set<PVariable> getDeducedVariables()
PConstraintpublic java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> getFunctionalDependencies(IQueryMetaContext context)
PConstraintgetFunctionalDependencies in interface PConstraintgetFunctionalDependencies in class BasePConstraintprotected void doDoReplaceVariables(PVariable obsolete, PVariable replacement)
doDoReplaceVariables in class PatternCallBasedDeferredprotected java.util.Set<PVariable> getCandidateQuantifiedVariables()
getCandidateQuantifiedVariables in class PatternCallBasedDeferredprotected java.lang.String toStringRest()
toStringRest in class BasePConstraintpublic PVariable getResultVariable()