2.5.5. Comparison swapped

Constraint C π‘Žπ‘™π‘ π‘œ corresponds to constraint C π‘’π‘›π‘‘π‘Ÿπ‘¦ where one of the following conditions holds:

  • The comparison operator β‰₯ is swapped to ≀ or, conversely, ≀ is swapped to β‰₯.

  • The comparison operator > is swapped to < or, conversely, < is swapped to >.

EXAMPLE: Constraint C π‘Žπ‘™π‘ π‘œ = πšŠπšπš–πš˜πšœπš corresponds to constraint C π‘’π‘›π‘‘π‘Ÿπ‘¦ = πšŠπšπš•πšŽπšŠπšœπš where the comparison ≀𝙽 for expressing the fact that we should not exceed a given threshold (i.e.,Β restricts the maximum number of occurrences for a given value) is replaced by β‰₯𝙽 for expressing the fact that we should reach a given threshold (i.e.,Β enforces a minimum number of occurrences for a given value).