[ library(fd) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# integer_list_to_dom(+List, -Dom)

Convert a sorted list of integers and integer intervals into a domain Dom.

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

## Description

Convert a sorted list of integers and integer intervals into a domain Dom. List must be sorted and integers must not overlap with intervals. Note that using sort/2 on a list of integers and intervals does not produce correct results because intervals are considered compound terms and thus sorted after all integers. This predicate converts a list of successive integers into an interval and/or merges it with adjacent intervals. Typically, it will be used to convert a sorted list of integers into a list of intervals and an appropriate domain. If the list is already known to contain the right intervals, it is quicker to use sorted_list_to_dom/2.

### Fail Conditions

None.

### Resatisfiable

No.

### Exceptions

(4) instantiation fault
  List is not ground.
(5) type error
  List contains an element which is neither integer nor an integer interval.
(6) out of range
  The size of the resulting domain is too large.
(6) out of range
  The list is not sorted properly.

## See Also

sorted_list_to_dom / 2, dvar_domain / 2