Global Constraint Catalog: Ceq

5.151. eq_set

DESCRIPTION

LINKS

Origin

Used for defining $𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝_𝚋𝚎𝚝𝚠𝚎𝚎𝚗_𝚜𝚎𝚝𝚜$ .

Constraint

$𝚎𝚚_𝚜𝚎𝚝 (𝚂𝙴𝚃 1, 𝚂𝙴𝚃 2)$

Arguments

$𝚂𝙴𝚃 1$	$𝚜𝚟𝚊𝚛$
$𝚂𝙴𝚃 2$	$𝚜𝚟𝚊𝚛$

Purpose

Constraint the set $𝚂𝙴𝚃 1$ to be equal to the set $𝚂𝙴𝚃 2$ .

Example

({3, 5}, {3, 5})

Symmetries

Arguments are permutable w.r.t. permutation $(𝚂𝙴𝚃 1, 𝚂𝙴𝚃 2)$ .
All occurrences of a value in $𝚂𝙴𝚃 1$ or $𝚂𝙴𝚃 2$ can be renamed to any unused value.

Systems

eq in Choco, rel in Gecode.

Used in

$𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝_𝚋𝚎𝚝𝚠𝚎𝚎𝚗_𝚜𝚎𝚝𝚜$ .

See also

specialisation: $𝚎𝚚$ ( $𝚜𝚎𝚝 𝚟𝚊𝚛𝚒𝚊𝚋𝚕𝚎$ replaced by $𝚟𝚊𝚛𝚒𝚊𝚋𝚕𝚎$ ).

Keywords

characteristic of a constraint: equality.

constraint arguments: binary constraint, constraint involving set variables.

constraint type: predefined constraint.