5. Global Constraint Catalogue

5.183. in_set

DESCRIPTION

LINKS

Origin

Used for defining constraints with set variables.

Constraint

$𝚒𝚗_𝚜𝚎𝚝 (𝚅𝙰𝙻, 𝚂𝙴𝚃)$

Synonyms

$𝚍𝚘𝚖$ , $𝚖𝚎𝚖𝚋𝚎𝚛$ .

Arguments

$𝚅𝙰𝙻$	$𝚍𝚟𝚊𝚛$
$𝚂𝙴𝚃$	$𝚜𝚟𝚊𝚛$

Purpose

Constraint variable $𝚅𝙰𝙻$ to belong to set $𝚂𝙴𝚃$ .

Example

(3, {1, 3})

Remark

When $𝚂𝙴𝚃$ is fixed the $𝚒𝚗_𝚜𝚎𝚝$ constraint is referenced under the name $𝚍𝚘𝚖$ in Gecode.

Systems

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

Used in

$𝚋𝚒𝚙𝚊𝚛𝚝𝚒𝚝𝚎$ , $𝚌𝚕𝚒𝚚𝚞𝚎$ , $𝚌𝚘𝚗𝚗𝚎𝚌𝚝𝚎𝚍$ , $𝚌𝚞𝚝𝚜𝚎𝚝$ , $𝚍𝚊𝚐$ , $𝚍𝚒𝚜𝚌𝚛𝚎𝚙𝚊𝚗𝚌𝚢$ , $𝚍𝚒𝚜𝚓$ , $𝚒𝚗𝚟𝚎𝚛𝚜𝚎_𝚜𝚎𝚝$ , $𝚔_𝚌𝚞𝚝$ , $𝚕𝚒𝚗𝚔_𝚜𝚎𝚝_𝚝𝚘_𝚋𝚘𝚘𝚕𝚎𝚊𝚗𝚜$ , $𝚘𝚙𝚎𝚗_𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝$ , $𝚘𝚙𝚎𝚗_𝚊𝚖𝚘𝚗𝚐$ , $𝚘𝚙𝚎𝚗_𝚊𝚝𝚕𝚎𝚊𝚜𝚝$ , $𝚘𝚙𝚎𝚗_𝚊𝚝𝚖𝚘𝚜𝚝$ , $𝚘𝚙𝚎𝚗_𝚐𝚕𝚘𝚋𝚊𝚕_𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢$ , $𝚘𝚙𝚎𝚗_𝚐𝚕𝚘𝚋𝚊𝚕_𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢_𝚕𝚘𝚠_𝚞𝚙$ , $𝚙𝚊𝚝𝚑_𝚏𝚛𝚘𝚖_𝚝𝚘$ , $𝚙𝚛𝚘𝚙𝚎𝚛_𝚏𝚘𝚛𝚎𝚜𝚝$ , $𝚛𝚘𝚘𝚝𝚜$ , $𝚜𝚝𝚛𝚘𝚗𝚐𝚕𝚢_𝚌𝚘𝚗𝚗𝚎𝚌𝚝𝚎𝚍$ , $𝚜𝚞𝚖$ , $𝚜𝚞𝚖_𝚜𝚎𝚝$ , $𝚜𝚢𝚖𝚖𝚎𝚝𝚛𝚒𝚌$ , $𝚜𝚢𝚖𝚖𝚎𝚝𝚛𝚒𝚌_𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢$ , $𝚜𝚢𝚖𝚖𝚎𝚝𝚛𝚒𝚌_𝚐𝚌𝚌$ , $𝚝𝚘𝚞𝚛$ .

See also

common keyword: $𝚒𝚗$ (value constraint).

specialisation: $𝚒𝚗_𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕$ (set variable replaced by fixed interval).

Keywords

constraint arguments: constraint involving set variables.

constraint type: predefined constraint, value constraint.

modelling: included.