[ 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

- get_max(?, -) is det

## See Also

get_bounds / 3, get_integer_bounds / 3, get_finite_integer_bounds / 3