Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

# Interval arithmetic for Ada 1.7

Company: Dmitry A. Kazakov
Date Added: August 18, 2013  |  Visits: 268

Interval arithmetic for Ada is a math library that provides an implementation of intervals for Ada. It includes arithmetic and relational operations.<br /><br />Examples:<br /><br />Tri-state logic<br /><br />The 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:<br /><br />type Logical is (False, True, Uncertain);<br /><br />The following operations are defined for Logical:<br /><br />function "not" (Left : Logical) return Logical;<br />function "and" (Left, Right : Logical) return Logical;<br />function "and" (Left : Logical; Right : Boolean)<br />return Logical;<br />function "and" (Left : Boolean; Right : Logical)<br />return Logical;<br />function "or" (Left, Right : Logical) return Logical;<br />function "or" (Left : Logical; Right : Boolean)<br />return Logical;<br />function "or" (Left : Boolean; Right : Logical)<br />return Logical;<br />function "xor" (Left, Right : Logical) return Logical;<br />function "xor" (Left : Logical; Right : Boolean)<br />return Logical;<br />function "xor" (Left : Boolean; Right : Logical)<br />return Logical;<br />

 Requirements: No special requirements Platforms: *nix, Linux Keyword: Arithmetic,  Boolean,  Booleanreturn,  Defined,  Intervals,  Logical,  Logicalfunction,  Logicalreturn,  Operations,  Package,  Quotandquot,  Quotnotquot,  Quotorquot,  Quotxorquot,  Relational,  Return,  Uncertainthe Users rating: 0/10