[ library(ic) | Reference Manual | Alphabetic Index ]

?ExprX #\= ?ExprY

ExprX is not equal to ExprY (with integrality constraints).
ExprX
Integer arithmetic expression
ExprY
Integer arithmetic expression

Description

Constrains ExprX to be not equal to ExprY. Also constrains all variables appearing in ExprX and ExprY to be integral and checks that all constants are integers.

Note that if all variables and constants appearing in this constraint are already integral, then the constraint is equivalent to ic:(ExprX =\= ExprY).

See Also

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