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

# ?ExprX #< ?ExprY

ExprX is less than ExprY (with integrality constraints).

ExprX
  Integer arithmetic expression
ExprY
  Integer arithmetic expression

## Description

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

## See Also

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