
ic:(?ExprX =\= ?ExprY)

   ExprX is not equal to ExprY.

Arguments
   ExprX               Arithmetic expression
   ExprY               Arithmetic expression

Type
   library(ic)

Description

   Constrains ExprX and ExprY to be different.

   Note that if ExprX or ExprY evaluate to non-integral expressions, this
   constraint can never fail, since (in general) the system has no way of
   establishing that the two expressions are precisely equal.  However the
   constraint may still be useful in such circumstances due to the delayed
   goal present when the success or failure of the constraint cannot be
   determined.


See Also
   =:= / 2, >= / 2, =< / 2, #\= / 2, =\= / 2, suspend : =\= / 2
