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