
dvar_msg(+DVar1, +DVar2, -MsgDVar)

   MsgDVar is a domain variable which is the most specific generalisation of
domain variables or atomic values DVar1 and DVar2.



Arguments
   +DVar1              A finite domain or an atomic term.
   +DVar2              A finite domain or an atomic term.
   -MsgDVar            A free variable.

Type
   library(fd)

Description
   MsgVar is a domain variable which is the most specific generalisation of
   domain variables or atomic values Var1 and Var2.




Fail Conditions
      None.



Resatisfiable
      No.

See Also
   dom_union / 4, dom_intersection / 4, dvar_domain / 2
