2.5.5. Comparison swapped
Constraint corresponds to constraint 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 corresponds to constraint 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).