[ library(ria) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
ria:(?ExprX #= ?ExprY)
ExprX is equal to ExprY with intergrality constraints.
- ExprX
- Arithmetic Expression
- ExprY
- Arithmetic Expression
Description
Constraints ExprX to be 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