5.422. zero_or_not_zero
DESCRIPTION | LINKS |
- Origin
Arithmetic.
- Constraint
- Synonyms
, , .
- Arguments
- Purpose
Enforce the fact that either both variables are equal to 0, or both variables are not equal to 0.
- Example
-
The constraint holds since values 1 and 8 are both not equal to zero.
- Symmetry
Arguments are permutable w.r.t. permutation .
- See also
implied by: , , , .
- Keywords
constraint arguments: binary constraint.
constraint type: predefined constraint, arithmetic constraint.