2.5.21. Used in graph description

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

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