エイダ1.5区間演算 - Interval arithmetic for Ada 1.5



 

エイダ1.5区間演算

スポンサードリンク

エイダ1.5区間演算: 要約

ランキング その星をクリックしてランク付けするランキングレベル:
総合ランキング: 0 (0 times) ダウンロードする
ファイルサイズ: 0.25 MB 動作OS: Any Platform ソフトの種類: GMGPL (GNAT Modified GPL) 価格: ダウンロード: 8188 追加年月日: 2007-08-23 作者: Other Publisher

エイダ1.5区間演算: 説明

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

例:

トライステート論理

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

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

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

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

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

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

ダウンロードする

エイダ1.5区間演算: スクリーンショット

スポンサードリンク
ダウンロード エイダ1.5区間演算

エイダ1.5区間演算: キーワード

エイダ1.5区間演算: 栞

Hyperlink code:
Hyperlink and Intro code:

エイダ1.5区間演算: 関連ソフトウェア

エイダ1.5区間演算: 批評
著者名 :  
投稿者のメール :  
コメント :  
セキュリティコード :  
     
   
マイソフトウェア
任意のソフトウェアを保存していない. [ 保存 "の各ソフトウェアの横にあなたのソフトウェアのバスケット"に保存する
関連検索
スポンサードリンク