
list_to_dom(+List, -Dom)

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



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

Type
   library(fd)

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 --- List is not ground.
     5 --- List contains an element which is neither atomic nor an    integer interval.
     6 --- The size of the resulting domain is too large.
     6 --- The lower bound of an integer interval is greater than its    upper bound.

See Also
   sorted_list_to_dom / 2, dvar_domain / 2
