Main Content

このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

Implies

特定の応答を生成する条件の指定

  • Implies block

ライブラリ:
Simulink Design Verifier / Verification Utilities

説明

Implies ブロックでは、特定の応答を生成する条件を指定できます。たとえば、車のブレーキ ペダルを踏むと、クルーズ コントロール メカニズムが無効になります。また入力 A が true で入力 B が false の場合、出力は false になり、他のすべての入力ペアの出力が true になるなどです。

Simulink® Design Verifier™ ソフトウェアを実行している場合以外でも、任意のモデルで Implies ブロックを使用できます。

端子

入力

すべて展開する

Implies ブロックは、Simulink ソフトウェアがサポートするすべての数値データ型の信号を受け入れます。Simulink ソフトウェアがサポートするデータ型の詳細は、Simulink でサポートされているデータ型を参照してください。

データ型: single | double | int8 | int16 | int32 | int64 | uint8 | uint16 | uint32 | uint64 | Boolean | fixed point | enumerated | bus

拡張機能

C/C++ コード生成
Simulink® Coder™ を使用して C および C++ コードを生成します。

バージョン履歴

R2009a で導入