Интервальная арифметика для Ады это математическая библиотека, которая обеспечивает реализацию интервалов для Ады. Она включает в себя арифметические и реляционные операции.
Примеры:
Tri-State Logic
Интервалы пакет служит в качестве корневого пакета, а также обеспечивает три-государственной логики, необходимой для определения реляционных операций на интервалы. Тип Логический определяется как:
тип Логический это (False, True, Неопределенный);
Следующие операции определены для Логические:
Функция "не" (Слева: логический) Логическое вернуться;
Функция "и" (левый, правый: логический) Логическое вернуться;
Функция "и" (Слева: логический; справа: Boolean)
вернуться логический;
Функция "и" (Слева: Boolean; справа: логический)
вернуться логический;
Функция "или" (левый, правый: логический) Логическое вернуться;
Функция "или" (Слева: логический; справа: Boolean)
вернуться логический;
Функция "или" (Слева: Boolean; справа: логический)
вернуться логический;
Функция "исключающее" (левый, правый: логический) Логическое вернуться;
Функция "исключающее" (Слева: логический; справа: Boolean)
вернуться логический;
Функция "исключающее" (Слева: Boolean; справа: логический)
вернуться Логический;
Что нового В этом выпуске:
- Этот релиз упакованы для Fedora и Debian на 32 и 64 немного архитектуры x86.
Комментарии не найдены