Download of integer_intervals.ads (integer_intervals.ads ( external link: SF.net): 2,020 字节) 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
