5.158. in_set

DESCRIPTIONLINKS
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, dom in Gecode, rel 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.