[ library(fd) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# dom_difference(+Dom1, +Dom2, -DomDiff, -Size)

The domain DomDifference is Dom1 \Dom2 and Size is the number of its elements.

+Dom1
  A finite domain.
+Dom2
  A finite domain.
-DomDiff
  A variable.
-Size
  A variable.

## Description

The domain DomDifference is Dom1 \Dom2 and Size is the number of its elements.

### Fail Conditions

Fails if Dom1 is a subset of Dom2.

### Resatisfiable

No.

## See Also

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