[ 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