间隔算术艾达是一个数学库，提供间隔的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 /...
最近浏览的软件
ASUS B85-PLUS/USB 3.1 Intel Smart Connect Driver 16 Feb 16
Email Scheduler Tracker 22 Jan 15
-
Sager NP6659 Realtek LAN Driver for Windows 8.1 9 May 15
热门软件
-
Strings Edit 25 Oct 15
-
Simple components for Ada 25 Oct 15
-
Fuzzy Sets for Ada 25 Oct 15
Interval arithmetic for Ada 14 Apr 15
-
Units of measurement 25 Oct 15