[ library(colgen) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
# ColgenInstance:(?X =:= ?Y)

Constrains X to be equal to Y.
*X*
- Partial linear expression
*Y*
- Partial linear expression

## Description

Logically: Constrains X to be equal to Y. X and Y are partial
linear expressions. Partial linear expressions may contain
terms of the form `implicit_sum(+Var)` in addition to
any terms allowed within a standard linear
expression. Variables occurring inside `implicit_sum/1`
terms are taken to be subproblem variables whose instantiation
will correspond to the coefficient of a generated master
problem variable in this constraint. Operationally, the
constraint gets delayed until the external solver state for
ColgenInstance is invoked.
## See Also

=< / 2, >= / 2, $= / 2, $=< / 2, $>= / 2, var_get / 3