該庫提供了模糊的標準,直觀套,平原和尺寸模糊數,模糊邏輯,平原及尺寸與語言變量和模糊集語言變量的實現。模糊數實施了整數和實域。模糊邏輯是基於直覺模糊集和可能性理論。字符串導向的I / O支持 要求: 在Windows 95/98 / ME / NT / 2000 / XP / 2003...

間隔算術艾達是一個數學庫,提供間隔的Ada的實現。它包括算術和關係運算。例如:三態邏輯包間隔用作根包,並提供必要的間隔定義關係操作的三態邏輯。類型的邏輯被定義為: 類型邏輯是(假,真,不確定); 下面的操作定義邏輯: 功能“不”(左:邏輯)返回邏輯; 功能“和”(左,右:邏輯)返回邏輯;    功能“和”(左:邏輯;右:布爾)       返回邏輯;    功能“和”(左:布爾;右:邏輯)       返回邏輯; 函數“或”(左,右:邏輯)返回邏輯;    函數“或”(左:邏輯;右:布爾)       返回...

該庫提供了智能指針自動收集的對象(使用引用計數)的實現;反對使用ODBC的持久性;各種容器包括地圖,棧,集合,有界和無界的陣列;表管理工具;對於I /文本編輯工具在任何基本的整數和浮點數的O; OO解析器中綴表達式; 。存儲池 要求: 阿達95的編譯器,GNADE或APQ是可選的,在Windows 95/98 / ME / NT / 2000 / XP /...

閱讀更多

旨在支持隨之而來的輸入(解析)和各種數值類型的輸出(格式化)程序庫:其中包括整數,浮點,羅馬,UTF-8編碼子/標整數。輸出可以對齊。數字GET程序支持的數值範圍的檢查。號鹼基可以是從二進制為十六進制為輸入和輸出。 。浮點輸出支持絕對和相對精度規範 要求:...

庫,用於處理和轉換標註尺寸值。它的特點:物理上正確的混合單元運算,轉移單位,比如攝氏和華氏,字符串輸入和所有SI的尺寸值的輸出和種類繁多的非正規部隊的程度。支持UTF-8編碼。提供文檔和例子。 ,提供和準備使用的單位轉換器,用於Unix和Windows 要求: 在Windows 95/98 / ME / NT / 2000 / XP /...