[ library(ic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

ic:(?ExprX =\= ?ExprY)

ExprX is not equal to ExprY.
ExprX
Arithmetic expression
ExprY
Arithmetic expression

Description

Constrains ExprX and ExprY to be different.

Modules

This predicate is sensitive to its module context (tool predicate, see @/1).

See Also

< / 2, =< / 2, >= / 2, > / 2, =:= / 2, #\= / 2, =\= / 3, =\= / 2, suspend : =\= / 2