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

Interval arithmetic for Ada Ranking & Summary

Interval arithmetic for Ada Tags

Ada intervals arithmetic arithmetic operations Ada intervals relational operations

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