Global Constraint Catalog: Cmultiple

5.269. multiple

DESCRIPTION

LINKS

Origin

Arithmetic.

Constraint

$𝚖𝚞𝚕𝚝𝚒𝚙𝚕𝚎 (𝚇, 𝚈, 𝙲)$

Arguments

Restrictions

𝚇 \neq 0

𝚈 \neq 0

𝙲 > 0

Purpose

Enforce $max (| 𝚇 |, | 𝚈 |) = 𝙲 \cdot min (| 𝚇 |, | 𝚈 |)$ , (with $| 𝚇 | \neq 0$ and $| 𝚈 | \neq 0$ ).

Example

(8, - 2, 4)

The $𝚖𝚞𝚕𝚝𝚒𝚙𝚕𝚎$ constraint holds since $max (| 8 |, | - 2 |) = 4 \cdot min (| 8 |, | - 2 |)$ .

Typical

𝙲 > 1

Arg. properties

Functional dependency: $𝙲$ determined by $𝚇$ and $𝚈$ .

Keywords

constraint arguments: binary constraint.

constraint type: predefined constraint, arithmetic constraint.

modelling: functional dependency.