このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。
仮定
シンボリック オブジェクトが取り得る値の制限
仮定を使用して、変数または式が取り得る値の範囲を制限します。詳細は、シンボリック変数の仮定の使用を参照してください。条件が成り立つかどうかを検証するには、isAlways
を使用します。
関数
トピック
- シンボリック変数の仮定の使用
仮定を使用して問題をモデル化し、より単純な結果を求めます。
- 仮定の消去とシンボリック エンジンのリセット
仮定を消去し、エンジンの状態をリセットします。