假设
一个象征性的对象的限制可能的值
尽可能使用假设限制范围的变量或表达式的值。有关详细信息,请参见使用假设符号变量。为了验证如果条件成立,使用总
。
功能
主题
- 使用假设符号变量
模型你的问题和用假设得到简单的结果。
- 明确的假设和重置象征性的引擎
删除假设和复位的状态引擎。
尽可能使用假设限制范围的变量或表达式的值。有关详细信息,请参见使用假设符号变量。为了验证如果条件成立,使用总
。
模型你的问题和用假设得到简单的结果。
删除假设和复位的状态引擎。