[ library(range_eplex) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
?Vars :: ++Lo..Hi
Constrains list elements to lie between the given bounds.
- Vars
- Variable or number or a list of them
- Lo..Hi
- Lo, Hi are floats or integers
Description
Constrain a variable (or all variables in a list) to take only
integer or real values in a given range. The lib(eplex)-version
of this constraint is identical to the lib(range)-version or
the lib(ic) version, depending on which variant of eplex was loaded.
In particular, if the bounds are given as integers, this
information is not passed to the external solver.
Unless eplex:integers/1 is invoked, any invocation of the eplex
external solver (whether via eplex_solve/1, lp_solve/2,
lp_demon_setup/6 or optimize/2) will only solve a continuous
relaxation, even when problem variables have been declared as
integers in other solvers (ic, range, ria, fd).
However, when a typed_solution is retrieved (via lp_get/3 or
lp_var_get/4), this will be rounded to the nearest integer
even when the integrality has only been declared with the
lib(range) or lib(ria) versions of ::/2 or integers/1.
See Also
integers / 1, suspend : :: / 2, fd : :: / 2, range : :: / 2, eplex : :: / 2, ria : :: / 2, fdplex : :: / 2, fd_sets : :: / 2, ic : :: / 2, ic_sets : :: / 2, $:: / 2, library(ic_eplex), library(range_eplex)