5.129. eq_set

DESCRIPTIONLINKS
Origin

Used for defining 𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝_𝚋𝚎𝚝𝚠𝚎𝚎𝚗_𝚜𝚎𝚝𝚜.

Constraint

𝚎𝚚_𝚜𝚎𝚝(𝚂𝙴𝚃1,𝚂𝙴𝚃2)

Arguments
𝚂𝙴𝚃1𝚜𝚟𝚊𝚛
𝚂𝙴𝚃2𝚜𝚟𝚊𝚛
Purpose

Constraint the set 𝚂𝙴𝚃1 to be equal to the set 𝚂𝙴𝚃2.

Example
({3,5},{3,5})
Symmetries
  • Arguments are permutable w.r.t. permutation (𝚂𝙴𝚃1,𝚂𝙴𝚃2).

  • All occurrences of a value in 𝚂𝙴𝚃1 or 𝚂𝙴𝚃2 can be renamed to any unused value.

Systems

eq in Choco, rel in Gecode.

Used in

𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝_𝚋𝚎𝚝𝚠𝚎𝚎𝚗_𝚜𝚎𝚝𝚜.

See also

specialisation: 𝚎𝚚 (𝚜𝚎𝚝 𝚟𝚊𝚛𝚒𝚊𝚋𝚕𝚎 replaced by 𝚟𝚊𝚛𝚒𝚊𝚋𝚕𝚎).

Keywords

characteristic of a constraint: equality.

constraint arguments: binary constraint, constraint involving set variables.

constraint type: predefined constraint.