next up previous index
Next: Black-Box Interface Up: EPLEX: The ECLiPSe/CPLEX Interface Previous: Versions and Licences   Index

Ranged and Typed Variables

Ranged variables are provided by the range-library. The relevant predicate are:

Vars :: Lo..Hi
Define the inital bounds of variables. Note that if both bounds are specified as integers, the variable will be an integer one. E.g. X::1..9 declares an integer variable while X::1.0..9.0 declares a continuous one. The symbolic bounds -inf and inf can be used. The default range is -inf..inf. Mathematical Programming style nonnegative variables should be declared as X :: 0.0..inf.
reals(Vars)
Equivalent to X :: -inf..inf.
integers(Vars)
Constrain the variables to integer values.
var_range(+Var, -Lo, -Hi)
Retrieve a variable's range.
var_type(+Var, -Type)
Retrieve a variable's type (integer or real).




1999-08-06