public class Equality extends DeferredPConstraint
pBodyCOMPARE_BY_MONOTONOUS_ID| Constructor and Description |
|---|
Equality(PBody pBody,
PVariable who,
PVariable withWhom) |
| Modifier and Type | Method and Description |
|---|---|
void |
doReplaceVariable(PVariable obsolete,
PVariable replacement) |
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 |
getWho() |
PVariable |
getWithWhom() |
boolean |
isMoot()
An equality is moot if it compares the a variable with itself.
|
boolean |
isReadyAt(SubPlan plan,
IQueryMetaContext context) |
protected java.lang.String |
toStringRest() |
checkSanity, delete, getAffectedVariables, getBody, getMonotonousID, getPSystem, replaceVariable, toStringpublic boolean isMoot()
public void doReplaceVariable(PVariable obsolete, PVariable replacement)
doReplaceVariable in class BasePConstraintprotected java.lang.String toStringRest()
toStringRest in class BasePConstraintpublic PVariable getWho()
public PVariable getWithWhom()
public 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 BasePConstraintpublic boolean isReadyAt(SubPlan plan, IQueryMetaContext context)
isReadyAt in class DeferredPConstraint