2.5.23. Uses in its reformulation

Constraint C 𝑎𝑙𝑠𝑜 uses constraint C 𝑒𝑛𝑡𝑟𝑦 in its reformulation. Since it is already handled by the link system of constraints, we do not consider the case where constraint C 𝑎𝑙𝑠𝑜 can be expressed as a conjunction of constraints C 𝑒𝑛𝑡𝑟𝑦 .

EXAMPLE: As an example, the reformulation slot of constraint C 𝑎𝑙𝑠𝑜 = 𝚝𝚛𝚎𝚎_𝚛𝚊𝚗𝚐𝚎 uses the constraint C 𝑒𝑛𝑡𝑟𝑦 = 𝚘𝚙𝚎𝚗_𝚖𝚒𝚗𝚒𝚖𝚞𝚖.