[ ECLiPSe Finite Domain built-in.|Group Index| Full 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.

Exceptions

Examples


See Also

dom_union / 4, dom_intersection / 4, dvar_domain / 2