[ 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