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