Main Content

このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。

Implies

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

ライブラリ

Simulink Design Verifier

  • Implies block

説明

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

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

拡張機能

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

R2009a で導入