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

# dom_range(+Dom, ?Min, ?Max)

Return the minimum and maximum value in the integer domain Dom.

+Dom
  A finite domain.
?Min
  An integer or a variable.
?Max
  An integer or a variable.

## Description

Return the minimum and maximum value in the integer domain Dom. This predicate can also be used to test if a given domain is an integer one or not.

### Fail Conditions

Fails if Dom is a domain containing non-integer atomic elements.

### Resatisfiable

No.

## See Also

dom_check_in / 2, is_integer_domain / 1