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

ic:(?ExprX > ?ExprY)

ExprX is strictly greater than ExprY.
ExprX
Arithmetic expression
ExprY
Arithmetic expression

Description

Constrains ExprX to be strictly greater than ExprY.

See Also

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