[ ECLiPSe Finite Domain built-in.|Group Index| Full 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.

Exceptions

Examples


See Also

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