[ library(colgen) | 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