Download of float_intervals.ads (float_intervals.ads ( external link: SF.net): 2,012 bytes) will begin shortly. If not so, click link on the left.
The library provides an implementation of intervals for Ada. It includes arithmetic and relational operations. The library supports intervals with integer and floating-point bounds. Dimensioned intervals are also supported
