[ library(fd) | Reference Manual | Alphabetic Index ]

dom_compare(?Res, +Dom1, +Dom2)

Res is the result of the comparison of the domains Dom1 and Dom2.
Atom or variable.
A finite domain.
A finite domain.


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.



See Also

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