public class Inequality extends VariableDeferredPConstraint
PConstraint.CompareByMonotonousID
pBody
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() |
isReadyAt
checkSanity, delete, getAffectedVariables, getFunctionalDependencies, getMonotonousID, getPSystem, replaceVariable, toString
public java.util.Set<PVariable> getDeferringVariables()
getDeferringVariables
in class VariableDeferredPConstraint
protected java.lang.String toStringRest()
toStringRest
in class BasePConstraint
public void doReplaceVariable(PVariable obsolete, PVariable replacement)
doReplaceVariable
in class BasePConstraint
public java.util.Set<PVariable> getDeducedVariables()
PConstraint
public boolean isWeak()
public boolean isEliminable()
public void eliminateWeak()
public PVariable getWho()
public PVariable getWithWhom()