如何创建/职位和乔科
问题描述：
我有在乔科求解一个项目搜索中删除/ unpost的限制，但我有一个关于搜索过程中的外部效应问题。如何创建/职位和乔科
我有与（比方说）在分配给层，这意味着层和持续时间组织BoolVars一个规划图，一些动作的开始和结束部分。从计划结束到计划开始，变量选择是静态的（层中的动作选择是任意的）。
我研究了使用单纯形算法来帮助分配持续时间为开端，一个动作一个我们需要有等于ň的持续时间结束之间的解决方案。中间还有一些限制。
的附加约束创建基于所述BoolVars的实例化，但是它们是在外部基质组织的，因此当添加动作的结束动作甲，在效果的额外行被添加到矩阵和当前的约束条件重新制定。在回溯时，我们希望以相反的方式修改矩阵，即移除行并取消约束。
是否有某种方式来实现这种巧克力复杂的行为？
答
你提前知道，如果一个布尔值设置为true，则触发什么约束吗？如果是，请具体化（创建之初的约束，但他们boolvars张贴，而不是关联）。
有关巧克力求解的专业支持，您可以联系https://www.cosling.com/
具体化并不能解决问题，很遗憾。我通过我的模型广泛使用它，但这是不同的。它在实例化时触发外部动作，并在回溯时触发反向操作。 – Eramol
1）你应该能够动态地创建和使用solver._post后约束（假，C），使得它在原路返回删除（见的javadoc）。 2）你也可以使用一个IOperation触发自定义操作（如颜色为红色按钮，并把它回绿色后原路返回）： - 你必须做的事（让说颜色塞入红色） - 做环境。保存（新IOperation（color in ref））...你可以使用lamda ...该代码将在回溯时调用 在你的情况下，你将添加/删除行而不是着色，我只是想表明你可以实际做任何事情。 我清楚吗？ :-) –