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

sorted_list_to_dom(+List, -Dom)

Convert a sorted list of atomic terms and integer intervals into a domain Dom.
+List
A sorted list of atomic terms and integer interval.
-Dom
Variable.

Description

Convert a sorted list of atomic terms and integer intervals into a domain Dom. List is assumed to be in the correct order and format for a finite domain. If it is not, the program will not work correctly. The purpose of this predicate is to quickly convert small lists to domains.

Fail Conditions

None.

Resatisfiable

No.

Exceptions

(4) instantiation fault
List is not ground.
(5) type error
List contains an element which is neither atomic nor an integer interval.
(6) out of range
The size of the resulting domain is too large.
(6) out of range
The lower bound of an integer interval is greater than its upper bound.

See Also

integer_list_to_dom / 2, list_to_dom / 2, dvar_domain / 2