## 5.183. in_set

Origin

Used for defining constraints with set variables.

Constraint

$\mathrm{\pi \pi }_\mathrm{\pi \pi \pi }\left(\mathrm{\pi  \pi °\pi »},\mathrm{\pi \pi ΄\pi }\right)$

Synonyms

$\mathrm{\pi \pi \pi }$, $\mathrm{\pi \pi \pi \pi \pi \pi }$.

Arguments
 $\mathrm{\pi  \pi °\pi »}$ $\mathrm{\pi \pi \pi \pi }$ $\mathrm{\pi \pi ΄\pi }$ $\mathrm{\pi \pi \pi \pi }$
Purpose

Constraint variable $\mathrm{\pi  \pi °\pi »}$ to belong to set $\mathrm{\pi \pi ΄\pi }$.

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

When $\mathrm{\pi \pi ΄\pi }$ is fixed the $\mathrm{\pi \pi }_\mathrm{\pi \pi \pi }$ constraint is referenced under the name $\mathrm{\pi \pi \pi }$ inΒ

Systems

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

Used in
specialisation: $\mathrm{\pi \pi }_\mathrm{\pi \pi \pi \pi \pi \pi \pi \pi }$Β (set variable replaced by fixed interval).