[ library(fd) | Reference Manual | Alphabetic Index ]
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.
- +Dom1
- A finite domain.
- +Dom2
- A finite domain.
- -DomInt
- A variable.
- -Size
- A variable.
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