[ library(ria) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
ria:(?ExprX #=< ?ExprY)
ExprX is less than or equal to ExprY with intergrality constraints.
- ExprX
- Arithmetic Expression
- ExprY
- Arithmetic Expression
Description
Constraints ExprX to be less than or equal to ExprY. ExprX and ExprY are
general arithmetic expressions, with the variables constrained to be
integers.
See Also
suspend : #=< / 2, fdplex : #=< / 2, ic : #=< / 2, #= / 2, #>= / 2, #> / 2, #< / 2