[ 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.

The $ version of the arithmetic constraints are provided to allow code to be written which does not specify the solver. They are equivalent to their eplex instance counterparts without the $ prefix.

## See Also

=:= / 2, =< / 2, >= / 2, $>= / 2, colgen : $= / 2, suspend : $= / 2, ic : $= / 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