
dom_intersection(+Dom1, +Dom2, -DomInt, -Size)

   The domain DomInt is the intersection of domains Dom1 and Dom2 and Size is
the number of its elements.



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

Type
   library(fd)

Description
   The domain DomInt is the intersection of domains Dom1 and Dom2 and Size
   is the number of its elements.




Fail Conditions
      Fails if the intersection is empty.



Resatisfiable
      No.

See Also
   dom_compare / 3, dom_member / 2, dom_range / 3, dom_size / 2, dvar_domain / 2
