public interface PConstraint extends PTraceable
Modifier and Type | Field and Description |
---|---|
static java.util.Comparator<PConstraint> |
COMPARE_BY_MONOTONOUS_ID
A comparator that orders constraints by their
monotonous identifiers . |
Modifier and Type | Method and Description |
---|---|
void |
checkSanity() |
void |
delete() |
java.util.Set<PVariable> |
getAffectedVariables()
All variables affected by this constraint.
|
PBody |
getBody() |
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.
|
int |
getMonotonousID()
Returns an integer ID that is guaranteed to increase strictly monotonously for constraints within a pBody.
|
void |
replaceVariable(PVariable obsolete,
PVariable replacement) |
static final java.util.Comparator<PConstraint> COMPARE_BY_MONOTONOUS_ID
monotonous identifiers
. Should only used
for tiebreaking in other comparators.PBody getBody()
java.util.Set<PVariable> getAffectedVariables()
java.util.Set<PVariable> getDeducedVariables()
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> getFunctionalDependencies(IQueryMetaContext context)
QueryAnalyzer
instead to properly handle dependencies of pattern calls.void delete()
void checkSanity()
int getMonotonousID()