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

ria:(?ExprX =< ?ExprY)

ExprX is less than or equal to ExprY.
ExprX
Arithmetic Expression
ExprY
Arithmetic Expression

Description

Constraints ExprX to be less than or equal to ExprY. ExprX and ExprY are general arithmetic expressions.

See Also

=< / 2, suspend : =< / 2, eplex : =< / 2, range_eplex : =< / 2, ic : =< / 2, colgen : =< / 2, =:= / 2, >= / 2