
get_max(?Var, -Hi)

   Retrieve the current upper bound of Var.

Arguments
   Var                 A (domain) variable or an integer
   Hi                  Upper bound

Type
   library(gfd)

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
   get_max(?, -) is det

See Also
   get_bounds / 3, get_integer_bounds / 3, get_finite_integer_bounds / 3
