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