Global Constraint Catalog

Constraint $C_{𝑎𝑙𝑠𝑜}$ is used within a graph based description of constraint $C_{𝑒𝑛𝑡𝑟𝑦}$ .

EXAMPLE: As an example, the constraint $C_{𝑎𝑙𝑠𝑜} =$ $𝚝𝚠𝚘_𝚘𝚛𝚝𝚑_𝚍𝚘_𝚗𝚘𝚝_𝚘𝚟𝚎𝚛𝚕𝚊𝚙$ , a constraint enforcing two orthotopesAn orthotope corresponds to the generalisation of a segment, a rectangle and a box to the $n$ -dimensional case. to not overlap, is used in the graph based description of the constraint $C_{𝑒𝑛𝑡𝑟𝑦} =$ $𝚍𝚒𝚏𝚏𝚗$ . Given a collection of orthotopes, the $𝚍𝚒𝚏𝚏𝚗$ constraint forces for each pair of orthotopes $(O_{1}, O_{2})$ that $O_{1}$ and $O_{2}$ do not overlap.

2. Describing Global Constraints