Main Content

Implies

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

ライブラリ

Simulink Design Verifier

  • Implies block

説明

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

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

データ型のサポート

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

拡張機能

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

バージョン履歴

R2009a で導入