成功和失败的概念被用来表达有选择的算法。 事实上，目标可以被定义为不同目标之间的选择。 这样的目标被称为选择点。

目标 "IlcOr的执行会产生一个选择点。 创建选择点时，可以对其进行标注，以便引导 CP 优化器明确返回该点。

以下是在深度优先搜索中如何执行选择点：

• 保存 CP 优化器的状态，包括目标堆栈的状态。
• 第一个子目标被添加到目标堆栈的顶部。
• 其他子目标保存为选择点的未尝试子目标。
• 然后第一个子目标将从目标堆栈中出栈并予以执行。 如果此子目标失败，那么将复原 CP Optimizer 的状态，并且第一个未尝试选择将被推送到目标堆栈上。 这种活动被称为 回溯。 只要没有子目标成功，就会进行回溯。 如果没有子目标成功，则选择点失败。

因此，CP 优化器用户可以在不事先知道哪个子目标会成功的情况下定义算法。 这种编程通常被称为非确定性编程。

另请参阅

IlcAnd、IlcGoal、IlcGoalI、IlcOr