[ 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.
A (domain) variable or number
A (domain) variable or number
Most specific generalisation (variable)


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