| ADAの間隔算術演算 ADAの間隔算術演算は、ADAの間隔を実装する数学ライブラリです。 |
今すぐダウンロード |
ADAの間隔算術演算 ランキングとまとめ
- 出版社のWebサイト:
- http://www.dmitry-kazakov.de/ada/intervals.htm
ADAの間隔算術演算 タグ
ADAの間隔算術演算 説明
ADAの間隔算術演算は、ADAの間隔の実装を提供する数学ライブラリです。 ADAの間隔算術演算は、ADAの間隔の実装を提供する数学ライブラリです。それは算術的および関係の演算を含みます。型論理は次のように定義されています。型論理は(false、true、不確実)です。次の操作は、論理:関数 "not"(左:論理)RETURN論理に定義されています。関数 "と"(左、右:論理)RETURN論理;関数 "and"(左:論理; right:boolean)論理を返す。関数 "and"(左:ブール;右:論理)RETURN論理;関数 "または"(左、右:論理)RETURN論理;関数 "または"(左:論理; right:boolean)論理を返します。関数 "または"(左:ブール;右:論理)RETURN論理;関数 "xor"(左、右:論理)RETURN論理;関数 "XOR"(左:論理; right:boolean)Return論理;関数 "xor"(左:ブール;右:論理)返品論理
ADAの間隔算術演算 関連ソフトウェア