[ 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