Арифметика интервала для Ada - математическая библиотека, которая обеспечивает выполнение интервалов для Ada. Это включает арифметические и относительные операции.

Примеры:

Государственная тримараном логика

Интервалы пакета служат пакетом корня и также обеспечивают государственную тримараном логику, необходимую, чтобы определить относительные операции на интервалах. Логичный тип определен как:

напечатайте Логический, (Ложно, Правда, Неуверенный);

Следующие операции определены для Логического:

функция "не" (Левый: Логичный) Логичное возвращение;
функционируйте "и" (Левый, Правильный: Логичный) Логичное возвращение;
функционируйте "и" (Левый: Логичный; Право: Булевый)
возвратитесь Логический;
функционируйте "и" (Левый: Булевый; Право: Логичный)
возвратитесь Логический;
функционируйте "или" (Левый, Правильный: Логичный) Логичное возвращение;
функционируйте "или" (Левый: Логичный; Право: Булевый)
возвратитесь Логический;
функционируйте "или" (Левый: Булевый; Право: Логичный)
возвратитесь Логический;
функционируйте "xor" (Левый, Правильный: Логичный) Логичное возвращение;
функционируйте "xor" (Левый: Логичный; Право: Булевый)
возвратитесь Логический;
функционируйте "xor" (Левый: Булевый; Право: Логичный)
возвратитесь Логический;

Whats, Новый в Этом Выпуске:

· Для пользователей КОМАРА были включены файлы проекта GPS;
· Основанный на единицах Измерения для Ada v 2.4.