[ 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.

Modules

This predicate is sensitive to its module context (tool predicate, see @/1).

See Also

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