## 5.151. eq_set

Origin
Constraint

$\mathrm{𝚎𝚚}_\mathrm{𝚜𝚎𝚝}\left(\mathrm{𝚂𝙴𝚃}\mathtt{1},\mathrm{𝚂𝙴𝚃}\mathtt{2}\right)$

Arguments
 $\mathrm{𝚂𝙴𝚃}\mathtt{1}$ $\mathrm{𝚜𝚟𝚊𝚛}$ $\mathrm{𝚂𝙴𝚃}\mathtt{2}$ $\mathrm{𝚜𝚟𝚊𝚛}$
Purpose

Constraint the set $\mathrm{𝚂𝙴𝚃}\mathtt{1}$ to be equal to the set $\mathrm{𝚂𝙴𝚃}\mathtt{2}$.

Example
$\left(\left\{3,5\right\},\left\{3,5\right\}\right)$
Symmetries
• Arguments are permutable w.r.t. permutation $\left(\mathrm{𝚂𝙴𝚃}\mathtt{1},\mathrm{𝚂𝙴𝚃}\mathtt{2}\right)$.

• All occurrences of a value in $\mathrm{𝚂𝙴𝚃}\mathtt{1}$ or $\mathrm{𝚂𝙴𝚃}\mathtt{2}$ can be renamed to any unused value.

Systems

eq in Choco, rel in Gecode.

Used in
specialisation: $\mathrm{𝚎𝚚}$ ($\mathrm{𝚜𝚎𝚝}\mathrm{𝚟𝚊𝚛𝚒𝚊𝚋𝚕𝚎}$ replaced by $\mathrm{𝚟𝚊𝚛𝚒𝚊𝚋𝚕𝚎}$).