V - VariableT - Valuepublic interface WeakeningConstraint<V extends Variable<V,T>,T extends Value<V,T>>
| Modifier and Type | Method and Description |
|---|---|
void |
weaken(Assignment<V,T> assignment)
Weaken the constraint.
|
void |
weaken(Assignment<V,T> assignment,
T value)
Weaken the constraint enough so that it can assign the given
value.
|
void weaken(Assignment<V,T> assignment)
assignment - current assignmentvoid weaken(Assignment<V,T> assignment, T value)
assignment - current assignmentvalue - a conflicting value to be assigned