public class Inequality extends VariableDeferredPConstraint
pBodyCOMPARE_BY_MONOTONOUS_ID| Constructor and Description |
|---|
Inequality(PBody pBody,
PVariable who,
PVariable withWhom) |
Inequality(PBody pBody,
PVariable who,
PVariable withWhom,
boolean weak) |
| Modifier and Type | Method and Description |
|---|---|
void |
doReplaceVariable(PVariable obsolete,
PVariable replacement) |
void |
eliminateWeak()
Eliminates a weak inequality constraint if it can be ignored when who is the same as withWhom, or if any if them
is undeducible.
|
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.Set<PVariable> |
getDeferringVariables() |
PVariable |
getWho() |
PVariable |
getWithWhom() |
boolean |
isEliminable()
A weak inequality constraint is eliminable if who is the same as withWhom, or if any if them is undeducible.
|
boolean |
isWeak()
The inequality constraint is weak if it can be ignored when who is the same as withWhom, or if any if them is
undeducible.
|
protected java.lang.String |
toStringRest() |
isReadyAtcheckSanity, delete, getAffectedVariables, getBody, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toStringpublic java.util.Set<PVariable> getDeferringVariables()
getDeferringVariables in class VariableDeferredPConstraintprotected java.lang.String toStringRest()
toStringRest in class BasePConstraintpublic void doReplaceVariable(PVariable obsolete, PVariable replacement)
doReplaceVariable in class BasePConstraintpublic java.util.Set<PVariable> getDeducedVariables()
PConstraintpublic boolean isWeak()
public boolean isEliminable()
public void eliminateWeak()
public PVariable getWho()
public PVariable getWithWhom()