5.150. eq_cst

DESCRIPTIONLINKS
Origin

Arithmetic.

Constraint

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

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

Enforce the fact that the first variable is equal to the sum of the second variable and the constant.

Example
(8,2,6)

The 𝚎𝚚_𝚌𝚜𝚝 constraint holds since 8 is equal to 2+6.

Typical
𝙲𝚂𝚃2≠0
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.

Arg. properties
See also

implies: 𝚐𝚎𝚚_𝚌𝚜𝚝, 𝚕𝚎𝚚_𝚌𝚜𝚝.

negation: 𝚗𝚎𝚚_𝚌𝚜𝚝.

specialisation: 𝚎𝚚 (𝚌𝚘𝚗𝚜𝚝𝚊𝚗𝚝 set to 0).

Keywords

constraint arguments: binary constraint, pure functional dependency.

constraint type: predefined constraint, arithmetic constraint.

filtering: arc-consistency.

modelling: functional dependency.