[ ECLiPSe Finite Domain built-in.|Group Index| Full Index]

?X #\= ?Y

X is different from Y.

?X
A linear term.
?Y
A linear term.

Description

This constraints states that the two linear terms are not equal. It is suspended until at most one variable appears in it and then its domain is updated so that the constraint is satisfied.

Fail Conditions

The constraint does not hold if X=Y.

Resatisfiable

No.

Exceptions

Examples


See Also

:: / 2, #= / 2