[ library(gfd) | Reference Manual | Alphabetic Index ]

get_max(?Var, -Hi)

Retrieve the current upper bound of Var.
A (domain) variable or an integer
Upper bound


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