### 2.5.22. Used in reformulation

Constraint ${C}_{\mathrm{𝑎𝑙𝑠𝑜}}$ is used within a reformulation of constraint ${C}_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}$. Since it is already handled by the link part of system of constraints, we do not consider the case where constraint ${C}_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}$ can be expressed as a conjunction of constraints ${C}_{\mathrm{𝑎𝑙𝑠𝑜}}$.

EXAMPLE: As an example, the constraint ${C}_{\mathrm{𝑎𝑙𝑠𝑜}}=$ $\mathrm{𝚘𝚙𝚎𝚗}_\mathrm{𝚖𝚒𝚗𝚒𝚖𝚞𝚖}$ is used within the reformulation slot of the constraint ${C}_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}=$ $\mathrm{𝚝𝚛𝚎𝚎}_\mathrm{𝚛𝚊𝚗𝚐𝚎}$.