[ library(colgen) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
ColgenInstance:(?X >= ?Y)
Constrains X to be greater than or equal to Y.
- X
- Partial linear expression
- Y
- Partial linear expression
Description
Logically: Constrains X to be greater 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