[ library(eplex) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
EplexInstance:(?X =:= ?Y)
Constrains X to be equal to Y.
- X
- Linear expression
- Y
- Linear expression
Description
Logically: Constrains X to be equal to Y.
X and Y are linear expressions.
Operationally, the constraint gets delayed until the external
solver state for EplexInstance is invoked.
See Also
=:= / 2, suspend : =:= / 2, ria : =:= / 2, range_eplex : =:= / 2, ic : =:= / 2, colgen : =:= / 2, =< / 2, >= / 2, $>= / 2, $= / 2, $=< / 2, eplex_solver_setup / 1, eplex_solver_setup / 4, eplex_probe / 2, eplex_solve / 1, eplex_get / 2, eplex_var_get / 3, eplex_cleanup / 0