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

# ?ExprX #> ?ExprY

ExprX is strictly greater than ExprY (with integrality constraints).

ExprX
  Integer arithmetic expression
ExprY
  Integer arithmetic expression

## Description

Constrains ExprX to be greater 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