[ 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