[ library(range) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
range_msg(?Var1, ?Var2, ?MSG)
Computes the most specific generalisation of the ranges in Var1 and Var2.
- Var1
- A variable or number
- Var2
- A variable or number
- MSG
- Most specific generalisation (variable)
Calling Modes
- range_msg(-, -, ?)
- range_msg(++, ++, ?)
Description
The most specific generalisation of two ranges is computed and returned
as MSG. MSG will range over the smallest interval enclosing the input
ranges, and have the more general type of the input types. If either
Var1 or Var2 have not been declared before, it will be turned into an
unrestricted real variable.