[ library(ic) | Reference Manual | Alphabetic Index ]
?ExprX #=< ?ExprY
ExprX is less than or equal to ExprY (with integrality constraints).
- ExprX
- Integer arithmetic expression
- ExprY
- Integer arithmetic expression
Description
   Constrains ExprX to be less than or 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