[ 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