[ library(ic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
?ExprX $\= ?ExprY
ExprX is not equal to ExprY.
- ExprX
- Arithmetic expression
- ExprY
- Arithmetic expression
Description
Constrains ExprX and ExprY to not be equal. Alternate form of
ic:(ExprX =\= ExprY).
See Also
=\= / 2