Interval arithmetic for Ada 1.10

Interval arithmetic for Ada is a math library that provides an implementation of intervals for Ada.

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!

What's new in Interval arithmetic for Ada 1.10:

  • This release is packaged for Fedora and Debian 32- and 64-bit x86 architectures.
Read full changelog
send us
an update
LICENSE TYPE:
GMGPL (GNAT Modified GPL)
USER RATING:
2.5/5 17
DEVELOPED BY:
Dmitry A. Kazakov
HOMEPAGE:
www.dmitry-kazakov.de
CATEGORY:
ROOT \ Science and Engineering \ Mathematics
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 logic

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:

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;

Last updated on February 14th, 2012

#Ada intervals #arithmetic operations #relational operations #Ada #intervals #arithmetic #relational

Add your review!

SUBMIT