[ ECLiPSe Finite Domain built-in.|Group Index|
Full Index]
sorted_list_to_dom(+List, -Dom)
Convert a sorted list of atomic terms and integer intervals into a domain
Dom.
- +List
- A sorted list of atomic terms and integer interval.
- -Dom
- Variable.
Description
Convert a sorted list of atomic terms and integer intervals into a
domain Dom. List is assumed to be in the correct order and format for a
finite domain. If it is not, the program will not work correctly. The
purpose of this predicate is to quickly convert small lists to domains.
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) Range error
- The size of the resulting domain is too large.
- (6) Range error
- The lower bound of an integer interval is greater than its upper bound.
Examples
See Also
integer_list_to_dom / 2, list_to_dom / 2, dvar_domain / 2