Ada's Interval arithmetic is a math library that offers an implementation of interval calculations resulting in precise output.
The package Intervals serves as a foundation package and a robust source of tri-state logic required to define relational operations on intervals. The type Logical is defined as a three-valued logic comprising False, True, and Uncertain.
To enhance the functionality of the library, a set of operations have been defined for Logical. These operations include "not", "and", "or", and "xor" functions. Users can leverage these functions to perform a wide range of relational operations on intervals and produce precise results.
All in all, Interval Arithmetic for Ada is an essential library for developers looking to enhance the precision and functionality of interval analyses. Its easy-to-use interface and robust set of features make it an ideal choice for professionals looking to engage in complex interval arithmetic.
Version 1.7: N/A