5.273. neq_cst

DESCRIPTIONLINKS
Origin

Arithmetic.

Constraint

𝚗𝚎𝚚_𝚌𝚜𝚝(𝚅𝙰𝚁1,𝚅𝙰𝚁2,𝙲𝚂𝚃2)

Arguments
𝚅𝙰𝚁1𝚍𝚟𝚊𝚛
𝚅𝙰𝚁2𝚍𝚟𝚊𝚛
𝙲𝚂𝚃2𝚒𝚗𝚝
Purpose

Enforce the fact that the first variable is different from the sum of the second variable and the constant.

Example
(8,2,7)

The 𝚗𝚎𝚚_𝚌𝚜𝚝 constraint holds since 8 is different from 2+7.

Typical
𝙲𝚂𝚃2≠0
𝚅𝙰𝚁1≠𝚅𝙰𝚁2+𝙲𝚂𝚃2
Symmetries

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

  • One and the same constant can be added to 𝚅𝙰𝚁1 and 𝚅𝙰𝚁2.

  • One and the same constant can be added to 𝚅𝙰𝚁1 and 𝙲𝚂𝚃2.

See also

negation: 𝚎𝚚_𝚌𝚜𝚝.

specialisation: 𝚗𝚎𝚚 (𝚌𝚘𝚗𝚜𝚝𝚊𝚗𝚝 removed).

Keywords

characteristic of a constraint: disequality.

constraint arguments: binary constraint.

constraint type: predefined constraint, arithmetic constraint.

filtering: arc-consistency.