Global Constraint Catalog

2.6.5. Comparison swapped

Constraint $C_{𝑎𝑙𝑠𝑜}$ corresponds to constraint $C_{𝑒𝑛𝑡𝑟𝑦}$ where one of the following conditions holds:

The comparison operator $\geq$ is swapped to $\leq$ or, conversely, $\leq$ is swapped to $\geq$ .
The comparison operator $>$ is swapped to $<$ or, conversely, $<$ is swapped to $>$ .

EXAMPLE: Constraint $C_{𝑎𝑙𝑠𝑜} =$ $𝚊𝚝𝚖𝚘𝚜𝚝$ corresponds to constraint $C_{𝑒𝑛𝑡𝑟𝑦} =$ $𝚊𝚝𝚕𝚎𝚊𝚜𝚝$ where the comparison $\leq 𝙽$ for expressing that we should not exceed a given threshold (i.e., restricts the maximum number of occurrences for a given value) is replaced by $\geq 𝙽$ for expressing that we should reach a given threshold (i.e., forces a minimum number of occurrences for a given value).

Global Constraint Catalog

2. Describing Global Constraints

2.6.5. Comparison swapped