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