2.6.23. Used in reformulation

Constraint C 𝑎𝑙𝑠𝑜 is used within a reformulation of constraint C 𝑒𝑛𝑡𝑟𝑦 . Since it is already handled by the link part of 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 constraint C 𝑎𝑙𝑠𝑜 = 𝚘𝚙𝚎𝚗_𝚖𝚒𝚗𝚒𝚖𝚞𝚖 is used within the reformulation slot of the constraint C 𝑒𝑛𝑡𝑟𝑦 = 𝚝𝚛𝚎𝚎_𝚛𝚊𝚗𝚐𝚎.