软件截图:
间隔算术艾达是一个数学库，提供间隔的Ada的实现。它包括算术和关系运算。
例如：
三态逻辑
包间隔用作根包，并提供必要的间隔定义关系操作的三态逻辑。类型的逻辑被定义为：
类型逻辑是（假，真，不确定）;
下面的操作定义逻辑：
功能“不”（左：逻辑）返回逻辑;
功能“和”（左，右：逻辑）返回逻辑;
功能“和”（左：逻辑;右：布尔）
返回逻辑;
功能“和”（左：布尔;右：逻辑）
返回逻辑;
函数“或”（左，右：逻辑）返回逻辑;
函数“或”（左：逻辑;右：布尔）
返回逻辑;
函数“或”（左：布尔;右：逻辑）
返回逻辑;
功能“异或”（左，右：逻辑）返回逻辑;
功能“异或”（左：逻辑;右：布尔）
返回逻辑;
功能“异或”（左：布尔;右：逻辑）
返回逻辑;
什么是此版本中的新：
- 在此版本中打包Fedora和Debian的32位和64位位x86架构。
评论没有发现