3.7.85. Disequality
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
.
Denotes that a disequality between two domain variables,
one domain variable and a fixed value, or two set variables is used
within the definition of a constraint.
Denotes also that the notion of disequality can be used within
the informal definition of a constraint. This is for instance the case
for the relaxation of the constraint
(i.e., , ),
which do not strictly enforce a disequality.