Adaのための間隔の算術はAdaに間隔の実施を提供する数学ライブラリである。 それは算術および関係操作を含んでいる。

例:

トライステート論理

パッケージ間隔はルートパッケージとして役立ち、また間隔の関係操作を定義するのに必要なトライステート論理を提供する。 論理的なタイプは次のように定義される:

論理的なタイプはある(偽、本当、不確か);

次の操作は論理的のために定義される:

機能「ない」(去られる: 論理的な論理的な)リターン;
機能「および」(去られる、右: 論理的な論理的な)リターン;
機能「および」(去られる: 論理的; 権利: ブール)
帰りの論理的;
機能「および」(去られる: ブール; 権利: 論理的)
帰りの論理的;
機能「または」(去られる、右: 論理的な論理的な)リターン;
機能「または」(去られる: 論理的; 権利: ブール)
帰りの論理的;
機能「または」(去られる: ブール; 権利: 論理的)
帰りの論理的;
機能「xor」(去られる、右: 論理的な論理的な)リターン;
機能「xor」(残っている: 論理的; 権利: ブール)
帰りの論理的;
機能「xor」(残っている: ブール; 権利: 論理的)
帰りの論理的;

このリリースで新しい何が:

· ぶよのユーザーGPSのためにプロジェクトファイルは含まれていた;
· vつ2.4をAdaのための測定単位に基づく。