間隔算術艾達是一個數學庫，提供間隔的Ada的實現。它包括算術和關係運算。例如：三態邏輯包間隔用作根包，並提供必要的間隔定義關係操作的三態邏輯。類型的邏輯被定義為： 類型邏輯是（假，真，不確定）; 下面的操作定義邏輯： 功能“不”（左：邏輯）返回邏輯; 功能“和”（左，右：邏輯）返回邏輯; 功能“和”（左：邏輯;右：布爾） 返回邏輯; 功能“和”（左：布爾;右：邏輯） 返回邏輯; 函數“或”（左，右：邏輯）返回邏輯; 函數“或”（左：邏輯;右：布爾） 返回...
Strings Edit 1.7
旨在支持隨之而來的輸入（解析）和各種數值類型的輸出（格式化）程序庫：其中包括整數，浮點，羅馬，UTF-8編碼子/標整數。輸出可以對齊。數字GET程序支持的數值範圍的檢查。號鹼基可以是從二進制為十六進制為輸入和輸出。 。浮點輸出支持絕對和相對精度規範 要求：...
庫，用於處理和轉換標註尺寸值。它的特點：物理上正確的混合單元運算，轉移單位，比如攝氏和華氏，字符串輸入和所有SI的尺寸值的輸出和種類繁多的非正規部隊的程度。支持UTF-8編碼。提供文檔和例子。 ，提供和準備使用的單位轉換器，用於Unix和Windows 要求： 在Windows 95/98 / ME / NT / 2000 / XP /...
該庫提供了模糊的標準，直觀套，平原和尺寸模糊數，模糊邏輯，平原及尺寸與語言變量和模糊集語言變量的實現。模糊數實施了整數和實域。模糊邏輯是基於直覺模糊集和可能性理論。字符串導向的I / O支持 要求： 在Windows 95/98 / ME / NT / 2000 / XP / 2003...
該庫提供了智能指針自動收集的對象（使用引用計數）的實現;反對使用ODBC的持久性;各種容器包括地圖，棧，集合，有界和無界的陣列;表管理工具;對於I /文本編輯工具在任何基本的整數和浮點數的O; OO解析器中綴表達式; 。存儲池 要求： 阿達95的編譯器，GNADE或APQ是可選的，在Windows 95/98 / ME / NT / 2000 / XP /...
熱門軟件
Strings Edit 25 Oct 15
-
Simple components for Ada 25 Oct 15
-
Units of measurement 25 Oct 15
Interval arithmetic for Ada 14 Apr 15
-
Fuzzy Sets for Ada 25 Oct 15