[ library(fd) | Reference Manual | Alphabetic Index ]
dom_union(+Dom1, +Dom2, -DomUnion, -Size)
The domain DomUnion is the union of domains Dom1 and Dom2 and Size is the
number of its elements.
- +Dom1
- A finite domain.
- +Dom2
- A finite domain.
- -DomUnion
- A variable.
- -Size
- A variable.
Description
   The domain DomUnion is the union of domains Dom1 and Dom2 and Size is
   the number of its elements.
   Note that the main use of the predicate is to yield the most specific
   generalisation of two domains, in the usual cases the domains become
   smaller, not bigger.
Fail Conditions
   Fails if the union is empty.
Resatisfiable
   No.
See Also
dom_compare / 3, dom_member / 2, dom_range / 3, dom_size / 2, dvar_domain / 2