Global Constraint Catalog: Cabs

5.1. abs_value

DESCRIPTION

LINKS

Origin

Arithmetic.

Constraint

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

Usual name

$𝚊𝚋𝚜$

Synonym

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

Arguments

$𝚈$	$𝚍𝚟𝚊𝚛$
$𝚇$	$𝚍𝚟𝚊𝚛$

Restriction

𝚈 \geq 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.