[ library(colgen) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# ColgenInstance:(?X =< ?Y)

Constrains X to be less than or equal to Y.

X
  Partial linear expression
Y
  Partial linear expression

## Description

Logically: Constrains X to be less than or 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