[ 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