інтервального арифметики для Ада математична бібліотека, яка забезпечує реалізацію інтервалів для Ада. Вона включає в себе арифметичні та операції відношення.
Приклади:
Tri-State Logic
Інтервали пакет служить як кореневого пакету, а також забезпечує три-державного логіку, необхідну для визначення реляційних операцій на інтервали. Тип Логічний визначається як:
тип Логічний є (False, True, ясна);
Наступні операції визначені для Логічні:
Функція "не" (Зліва: логічний) повертають логічні;
Функція "і" (Left, Right: логічний) повертають логічні;
Функція "і" (Зліва: логічний; Справа: Boolean)
повертають логічні;
Функція "і" (Лівий: Boolean; Справа: логічний)
повертають логічні;
Функція "або" (Left, Right: логічний) повертають логічні;
Функція "або" (Зліва: логічний; Справа: Boolean)
повертають логічні;
Функція "або" (Лівий: Boolean; Справа: логічний)
повертають логічні;
Функція "виключає або" (Left, Right: логічний) повертають логічні;
Функція "виключає або" (Зліва: логічний; Справа: Boolean)
повертають логічні;
Функція "виключає або" (Лівий: Boolean; Справа: логічний)
повертають логічні;
Що нового У цьому випуску:
- Цей реліз упаковані для Fedora і Debian 32- і 64- біт x86 архітектури.
Коментар не знайдено