[ library(fd) | The ECLiPSe Libraries | 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