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