[ library(range_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.
The $ version of the arithmetic constraints are provided to allow
code to be written which does not specify the solver. The $=
constraint is equivalent to the =:= eplex instance constraint.
See Also
=:= / 2, =< / 2, >= / 2, $>= / 2, suspend : $= / 2, eplex : $= / 2, ic : $= / 2, colgen : $= / 2, $=< / 2, eplex_solver_setup / 1, eplex_solver_setup / 5, eplex_probe / 2, eplex_solve / 1, eplex_get / 2, eplex_var_get / 3, eplex_cleanup / 0