使用多个停止条件

如果激活多个停止条件，则需要构建逻辑规则以确定条件何时停止求解器。

例如，可以在满足通过监视器生成的所有条件时停止求解器。 但是，还可以在迭代次数超过限制时停止求解器。

将为每个单独的条件分配逻辑规则（与、或），用于确定它们作为一个组的互动方式。 如果为条件分配“或”逻辑规则，则满足该条件时求解器将停止。 当满足分配有“与”逻辑规则的所有条件时，求解器也将停止。 默认情况下，将为所有条件分配“或”逻辑规则。 要更改与条件关联的逻辑规则，选择该条件节点，然后在属性窗口中，为逻辑规则属性设置所需的选项。

例如，如果具有名为 A、B、C 和 D 的四个条件，A 和 B 的逻辑规则设为“或”，然后将 C 和 D 的逻辑规则设为“与”。 在这种情况下，测试的布尔表达式为：

A OR B OR (TRUE AND C AND D)

以真开头的加括号的与适合于只有一个条件具有与的（不常见）情况。