[ library(fd) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# 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.

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

## 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