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

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

Serving Software Downloads in 956 Categories, Downloaded 49.483.434 Times

Interval arithmetic for Ada 1.7

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

Interval arithmetic for Ada

Report Broken Link
Printer Friendly Version


Product Homepage
Download (38 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
USER REVIEWS
More Reviews or Write Review


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  
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  
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  
Remote Computing Tools  -  AddrMon 1.0.0.49
AddrMon is a network tool that can be used to debug or monitor a network or see if host computers are online. Addrmon can PING (Packet INternet Groper), Traceroute or Monitor a single or multiple host computers simultaneously. PING a computer to...
532.48 KB  
Network & Internet  -  AutoSync 1.2
Synchronise your PC clock with an Internet Time Server. Intuitive user interface, auto-poll feature and utilisation of 2 time servers. Simply start it up and synchronise your clock. AutoSync can be left running to automatically poll the time...
1.19 MB  
NEW DOWNLOADS IN LINUX SOFTWARE, BUSINESS
Linux Software  -  EasyEDA PCB Designer for Linux 2.0.0
EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any...
34.4 MB  
Linux Software  -  wpCache® WordPress HTTP Cache 1.9
wpCache® is a high-performance, distributed object, caching system application, generic in nature, but intended for use in speeding up dynamic web applications, by decreasing database load time. wpCache® decreases dramatically the page...
3.51 MB  
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  
Business  -  Inventoria Inventory Software Free 11.06
Inventoria is professional inventory stock management software for Windows that allows you to manage inventory in one or several locations. Manage your stock levels by categories, locations, and vendors. Combine Inventoria with HourGuard, Express...
611.18 KB  
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  -  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