[ 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