
msg(?Var1, ?Var2, ?MSG)

   Computes the most specific generalisation of Var1 and Var2 that is expressible with GFD variables.

Arguments
   Var1                A (domain) variable or number
   Var2                A (domain) variable or number
   MSG                 Most specific generalisation (variable)

Type
   library(gfd)

Description

   The most specific generalisation of two intervals is computed and
   returned as MSG.  MSG will be the union of the domains of the two
   variables, with integers treated as a singleton domain.
   If either Var1 or Var2 are domain-less, or have values that cannot be
   expressed as domains, MSG remains unbound.


Modes and Determinism
   msg(-, -, ?)
   msg(++, ++, ?)


