Interval arithmetic for AdaInterval arithmetic for Ada is a math library that provides an implementation of intervals for Ada. | |
Download |
Interval arithmetic for Ada Ranking & Summary
Advertisement
- License:
- GMGPL
- Price:
- FREE
- Publisher Name:
- Dmitry A. Kazakov
- Publisher web site:
- http://www.dmitry-kazakov.de/ada/intervals.htm
Interval arithmetic for Ada Tags
Interval arithmetic for Ada Description
Interval arithmetic for Ada is a math library that provides an implementation of intervals for Ada. Interval arithmetic for Ada is a math library that provides an implementation of intervals for Ada. It includes arithmetic and relational operations.Examples:Tri-state logicThe package Intervals serves as a root package and also provides tri-state logic necessary to define relational operations on intervals. The type Logical is defined as: type Logical is (False, True, Uncertain); The following operations are defined for Logical: function "not" (Left : Logical) return Logical; function "and" (Left, Right : Logical) return Logical; function "and" (Left : Logical; Right : Boolean) return Logical; function "and" (Left : Boolean; Right : Logical) return Logical; function "or" (Left, Right : Logical) return Logical; function "or" (Left : Logical; Right : Boolean) return Logical; function "or" (Left : Boolean; Right : Logical) return Logical; function "xor" (Left, Right : Logical) return Logical; function "xor" (Left : Logical; Right : Boolean) return Logical; function "xor" (Left : Boolean; Right : Logical) return Logical
Interval arithmetic for Ada Related Software