[ library(gfd) | Reference Manual | Alphabetic Index ]

# msg(?Var1, ?Var2, ?MSG)

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

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

## 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(++, ++, ?)