
dom_compare(?Res, +Dom1, +Dom2)

   Res is the result of the comparison of the domains Dom1 and Dom2.



Arguments
   ?Res                Atom or variable.
   +Dom1               A finite domain.
   +Dom2               A finite domain.

Type
   library(fd)

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
