[ 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