public abstract class BasePConstraint extends java.lang.Object implements PConstraint
| Modifier and Type | Field and Description |
|---|---|
protected PBody |
pBody |
COMPARE_BY_MONOTONOUS_ID| Constructor and Description |
|---|
BasePConstraint(PBody pBody,
java.util.Set<PVariable> affectedVariables) |
| Modifier and Type | Method and Description |
|---|---|
void |
checkSanity() |
void |
delete() |
protected abstract void |
doReplaceVariable(PVariable obsolete,
PVariable replacement) |
java.util.Set<PVariable> |
getAffectedVariables()
All variables affected by this constraint.
|
PBody |
getBody() |
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> |
getFunctionalDependencies(IQueryMetaContext context)
A (preferably minimal) cover of known functional dependencies between variables.
|
int |
getMonotonousID()
Returns an integer ID that is guaranteed to increase strictly monotonously for constraints within a pBody.
|
PBody |
getPSystem()
For backwards compatibility.
|
void |
replaceVariable(PVariable obsolete,
PVariable replacement) |
java.lang.String |
toString() |
protected abstract java.lang.String |
toStringRest() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetDeducedVariablesprotected PBody pBody
public java.lang.String toString()
toString in class java.lang.Objectprotected abstract java.lang.String toStringRest()
public java.util.Set<PVariable> getAffectedVariables()
PConstraintgetAffectedVariables in interface PConstraintpublic java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> getFunctionalDependencies(IQueryMetaContext context)
PConstraintgetFunctionalDependencies in interface PConstraintpublic void replaceVariable(PVariable obsolete, PVariable replacement)
replaceVariable in interface PConstraintprotected abstract void doReplaceVariable(PVariable obsolete, PVariable replacement)
public void delete()
delete in interface PConstraintpublic void checkSanity()
checkSanity in interface PConstraintpublic PBody getBody()
getBody in interface PConstraintpublic int getMonotonousID()
PConstraintgetMonotonousID in interface PConstraint