5.422. zero_or_not_zero

DESCRIPTIONLINKS
Origin

Arithmetic.

Constraint

𝚣𝚎𝚛𝚘_𝚘𝚛_𝚗𝚘𝚝_𝚣𝚎𝚛𝚘(𝚅𝙰𝚁1,𝚅𝙰𝚁2)

Synonyms

𝚣𝚎𝚛𝚘𝚜_𝚘𝚛_𝚗𝚘𝚝_𝚣𝚎𝚛𝚘𝚜, 𝚗𝚘𝚝_𝚣𝚎𝚛𝚘_𝚘𝚛_𝚣𝚎𝚛𝚘, 𝚗𝚘𝚝_𝚣𝚎𝚛𝚘𝚜_𝚘𝚛_𝚣𝚎𝚛𝚘𝚜.

Arguments
𝚅𝙰𝚁1𝚍𝚟𝚊𝚛
𝚅𝙰𝚁2𝚍𝚟𝚊𝚛
Purpose

Enforce the fact that either both variables are equal to 0, or both variables are not equal to 0.

Example
(1,8)

The 𝚣𝚎𝚛𝚘_𝚘𝚛_𝚗𝚘𝚝_𝚣𝚎𝚛𝚘 constraint holds since values 1 and 8 are both not equal to zero.

Symmetry

Arguments are permutable w.r.t. permutation (𝚅𝙰𝚁1,𝚅𝙰𝚁2).

See also

implied by: 𝚊𝚋𝚜_𝚟𝚊𝚕𝚞𝚎, 𝚍𝚒𝚟𝚒𝚜𝚒𝚋𝚕𝚎_𝚘𝚛, 𝚎𝚚, 𝚜𝚒𝚐𝚗_𝚘𝚏.

implies (if swap arguments): 𝚊𝚋𝚜_𝚟𝚊𝚕𝚞𝚎.

Keywords

constraint arguments: binary constraint.

constraint type: predefined constraint, arithmetic constraint.