Global Constraint Catalog

Constraint $C_{𝑎𝑙𝑠𝑜}$ corresponds to constraint $C_{𝑒𝑛𝑡𝑟𝑦}$ where an assignment dimension is removed from $C_{𝑒𝑛𝑡𝑟𝑦}$ .

EXAMPLE: As an example, constraint $C_{𝑎𝑙𝑠𝑜} =$ $𝚊𝚖𝚘𝚗𝚐_𝚕𝚘𝚠_𝚞𝚙$ corresponds to constraint $C_{𝑒𝑛𝑡𝑟𝑦} =$ $𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕_𝚊𝚗𝚍_𝚌𝚘𝚞𝚗𝚝$ where an assignment dimension corresponding to the $𝚘𝚛𝚒𝚐𝚒𝚗$ attribute is removed from $C_{𝑒𝑛𝑡𝑟𝑦} =$ $𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕_𝚊𝚗𝚍_𝚌𝚘𝚞𝚗𝚝$ (i.e., the constraint $𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕_𝚊𝚗𝚍_𝚌𝚘𝚞𝚗𝚝$ enforces a $𝚊𝚖𝚘𝚗𝚐_𝚕𝚘𝚠_𝚞𝚙$ constraint for each maximum set of tasks for which the origin is assigned the same interval $[k \cdot 𝚂𝙸𝚉𝙴_𝙸𝙽𝚃𝙴𝚁𝚅𝙰𝙻, k \cdot 𝚂𝙸𝚉𝙴_𝙸𝙽𝚃𝙴𝚁𝚅𝙰𝙻 + 𝚂𝙸𝚉𝙴_𝙸𝙽𝚃𝙴𝚁𝚅𝙰𝙻 - 1]$ ) ( $𝚂𝙸𝚉𝙴_𝙸𝙽𝚃𝙴𝚁𝚅𝙰𝙻$ is the last argument of $𝚒𝚗𝚝𝚎𝚛𝚟𝚊𝚕_𝚊𝚗𝚍_𝚌𝚘𝚞𝚗𝚝$ ).

2. Describing Global Constraints