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

# list_to_dom(+List, -Dom)

Convert a list of atomic terms and integer intervals into a domain Dom.

+List
  A list of atomic terms and integer interval.
-Dom
  Variable.

## Description

Convert a list of atomic terms and integer intervals into a domain Dom. List does not have to be sorted and integers and intervals may overlap.

### 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

sorted_list_to_dom / 2, dvar_domain / 2