このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
仮定
シンボリック オブジェクトが取り得る値の制限
仮定を使用して、変数または式が取り得る値の範囲を制限します。詳細は、シンボリック変数の仮定の使用を参照してください。条件が成り立つかどうかを検証するには、isAlways を使用します。
関数
トピック
- シンボリック変数の仮定の使用
シンボリック変数の仮定を設定、確認、消去する。
- 仮定の消去とシンボリック エンジンのリセット
仮定を消去し、エンジンの状態をリセットします。
You can also select a web site from the following list:
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)