[ 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