
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.



Arguments
   +Dom1               A finite domain.
   +Dom2               A finite domain.
   -DomUnion           A variable.
   -Size               A variable.

Type
   library(fd)

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
