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

ic:(?ExprX =< ?ExprY)

ExprX is less than or equal to ExprY.

ExprX: Arithmetic expression
ExprY: Arithmetic expression

Description

Constrains ExprX to be less than or equal to ExprY.

See Also

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