Next: Black-Box Interface
Up: EPLEX: The ECLiPSe/CPLEX Interface
Previous: Versions and Licences
  Index
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