[ library(gfd) | Reference Manual | Alphabetic Index ]
get_max(?Var, -Hi)
Retrieve the current upper bound of Var.
- Var
- A (domain) variable or an integer
- Hi
- Upper bound
Description
Primitive for retrieving the upper bound of Var. Hi returns the maximum
of the variable's interval. If Var has not been declared before, it
will be turned into a domain variable with default interval.
Modes and Determinism
See Also
get_bounds / 3, get_integer_bounds / 3, get_finite_integer_bounds / 3