## 5.183. in_set

Origin

Used for defining constraints with set variables.

Constraint

$\mathrm{𝚒𝚗}_\mathrm{𝚜𝚎𝚝}\left(\mathrm{𝚅𝙰𝙻},\mathrm{𝚂𝙴𝚃}\right)$

Synonyms

$\mathrm{𝚍𝚘𝚖}$, $\mathrm{𝚖𝚎𝚖𝚋𝚎𝚛}$.

Arguments
 $\mathrm{𝚅𝙰𝙻}$ $\mathrm{𝚍𝚟𝚊𝚛}$ $\mathrm{𝚂𝙴𝚃}$ $\mathrm{𝚜𝚟𝚊𝚛}$
Purpose

Constraint variable $\mathrm{𝚅𝙰𝙻}$ to belong to set $\mathrm{𝚂𝙴𝚃}$.

Example
$\left(3,\left\{1,3\right\}\right)$
Remark

When $\mathrm{𝚂𝙴𝚃}$ is fixed the $\mathrm{𝚒𝚗}_\mathrm{𝚜𝚎𝚝}$ constraint is referenced under the name $\mathrm{𝚍𝚘𝚖}$ in

Systems

member in Choco, rel in Gecode, dom in Gecode.

Used in
specialisation: $\mathrm{𝚒𝚗}_\mathrm{𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕}$ (set variable replaced by fixed interval).