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