[ 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