[ library(fd) | Reference Manual | Alphabetic Index ]
dom_compare(?Res, +Dom1, +Dom2)
Res is the result of the comparison of the domains Dom1 and Dom2.
- ?Res
- Atom or variable.
- +Dom1
- A finite domain.
- +Dom2
- A finite domain.
Description
   Works like compare/3 for terms.  Res is unified with
  * = iff Dom1 is equal to Dom2,
  * < iff Dom1 is a proper subset of Dom2,
  * > iff Dom2 is a proper subset of Dom1.
Fail Conditions
   Fails if neither domain is a subset of the other one.
Resatisfiable
   No.
See Also
dom_member / 2, dom_range / 3, dom_size / 2, dvar_domain / 2