5.1. abs_value

DESCRIPTIONLINKS
Origin

Arithmetic.

Constraint

𝚊𝚋𝚜_𝚟𝚊𝚕𝚞𝚎(𝚈,𝚇)

Usual name

𝚊𝚋𝚜

Synonym

𝚊𝚋𝚜𝚘𝚕𝚞𝚝𝚎_𝚟𝚊𝚕𝚞𝚎.

Arguments
𝚈𝚍𝚟𝚊𝚛
𝚇𝚍𝚟𝚊𝚛
Restriction
𝚈0
Purpose

Enforce the fact that the first variable is equal to the absolute value of the second variable.

Example
(8,-8)

The 𝚊𝚋𝚜_𝚟𝚊𝚕𝚞𝚎 constraint holds since 8 is equal to |-8|.

Systems

abs in Choco, abs in Gecode.

See also

implied by: 𝚎𝚚.

implies: 𝚐𝚎𝚚.

Keywords

constraint arguments: binary constraint.

constraint type: predefined constraint, arithmetic constraint.

filtering: arc-consistency.