Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

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

Serving Software Downloads in 976 Categories, Downloaded 29.982.827 Times

Interval arithmetic for Ada 1.7

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

Interval arithmetic for Ada

Report Broken Link
Printer Friendly Version


Product Homepage
Download (19 downloads)

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

License: Freeware Size: 491.52 KB
INTERVAL ARITHMETIC FOR ADA RELATED
Shell & Desktop  -  Crazy Num-Caps-Scroll 1.04
This program will toggle the Num Lock, Caps Lock, or Scroll Lock keys at user defined intervals. It is possible to setup which keys to toggle and how often to toggle each key. This program also has command line support, so you can setup a shortcut...
122 KB  
Libraries  -  Email::FolderType::MH 0.812
Email::FolderType::MH is a Perl class to help Email::FolderType recognise MH mail directories. SUBROUTINES folder_type Automatically detects what type of mail folder the path refers to and returns the name of that type. It...
12.29 KB  
Multimedia & Graphics  -  PGAT 0.1
PGAT is a graphical interface to PostGIS focused in mapping the geo-spatial operations defined in PostGIS. The spatial operations are performed in the server side unlike most open source GIS.
5.26 MB  
Alarms & Reminders  -  Kirby Alarm And Task Scheduler 1.5
Kirby Alarm is a completely free alarm and task scheduler that will pop up a note, or run a program, or play a sound, or send an email at user defined intervals. Various options are available to set alarms/programs to run every x...
1.66 MB  
File Cataloguers  -  Monidir 2000 1.0
Monidir 2000 is a freeware tool that will monitor up to20 different folders. Files that are deleted, changedor added to the folders are reported via e-mail or viaan audible and visible alarm.The program runs in the system tray and will scan...
505 KB  
Web Browser Tools  -  Web Check 24x7 0.6.2.13
Web Check 24x7 is a .NET 2.0 software service built to run on Microsoft 32 bit Windows platforms. The software is designed to check specified web sites at user defined intervals and to report problems to designated email recipients. The service...
446 KB  
Libraries  -  COPE 0.04_0
COPE is a CORBA implemented in Perl. This documents describes the steps you take when writing a CORBA application in Perl using COPE. First the basics: the laguage binding used. Scalar types char The char type is represented as a...
38.91 KB  
Utilities  -  mirmon 1.38
mirmon project monitors the state of mirrors. Every hour the root site writes a fresh timestamp somewhere in the archive; mirror sites copy this timestamp when they update the mirror archive. Mirmon periodically retrieves these timestamps from...
25.6 KB  
Networking Tools  -  NoMoreCookies 1.3
NoMoreCookies is an AppleScript application that watches cookie and history files maintained by a Web browser. The program checks the files at your defined intervals and empties them if they've been updated. This virtually ensures that no shady...
39 KB  
Network & Internet  -  Outernet Explorer for Mac OS 1.0
An experimental project from artist Gregor Wright. It fetches web pages and images from across the web based on randomly generated search patterns. The randomness settings can be tweaked to adjust the obscurity of search phrases and results. There...
3.9 MB  
NEW DOWNLOADS IN LINUX SOFTWARE, BUSINESS
Linux Software  -  Polling Autodialer Software 3.4
ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....
488 B  
Linux Software  -  Total Video Converter Mac Free 3.5.5
Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...
17.7 MB  
Linux Software  -  Skeith mod_log_sql Analyzer 2.10beta2
Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.
47.5 KB  
Linux Software  -  SLAX 6.0+
Slax is a modern, portable, small and fast Linux operating system with a modular approach and outstanding design. Despite its small size, Slax provides a wide collection of pre-installed software for daily use, including a well organized graphical...
190 KB  
Linux Software  -  GTK+ 2.5
GTK+, which stands for the GIMP Toolkit, is a library for creating graphical user interfaces for the X Window System. It is designed to be small, efficient, and flexible. GTK+ is written in C with a very object-oriented approach. Language bindings...
60 MB  
Business  -  Java SQL Admin Tool for Linux 2.4.3
This is a Java-based Admin-Tool for SQL-Databases via JDBC. It needs to have JDK 1.6 underneath In the beginnings of Java I had my first look at this exciting product. So I decided to learn more about Java. As beeing a developer for...
686.08 KB  
Business  -  DBBalancer 0.4.4
DBBalancer is some sort of middleware that would sit in between of database clients, like C, C++, TCL, Java JDBC, Perl DBI, and a database server. Currently the only server supported is Postgres, but the architecture is open to embrace more...
174.08 KB  
Business  -  Postgres Plus 9.0.4
Postgres Plus is a distribution of PostgreSQL that contains the following additional features integrated in a convenient installation package: Postgres Studio for administration, Procedural Language Debugger, GridSQL Parallel Query, MySQL...
43.06 MB  
Business  -  Insulin Buddy 1.0b
Insulin Buddy is diabetes management software. It allows for quick and painless entry of all diabetes-related data (blood blucose, carbohydrate consumption, insulin doses, etc) and provides a number of reports, charts and data exports to easily...
2.52 MB  
Business  -  Apatar Data Integration 1.12.23
Apatar is an open source Extract, Transform, and Load (ETL) project. Modular architecture delivers: 1. Visual job designer/mapping 2. Connectivity to all major data sources 3. Flexible Deployment Options (GUI, or server engine with JVM, or...
25.94 MB