[ library(range) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
set_int_tolerance(++Tol)
Set the integer tolerance value.
- Tol
- New Tolerance (float)
Description
Set the integer tolerance value. See int_tolerance/1 for a description
of the value.
Exceptions
- (5) type error
- Tol is not a number.
See Also
int_tolerance / 1