Gecode 使用Spaces 来表示正在进行的约束满足问题：每次到达决策点时，Space都会复制 。
我想对这些正在进行的空间进行分析。有没有办法获得在某个注册的变量、约束、...的列表Space？API 文档似乎没有提供这样的方法。
问问题
94 次
1 回答
1
目前没有通用的方法来列出当前在空间中的所有变量和传播器。此外，很少需要这样的视图，仍然活跃的变量和传播者的集合可能与以任何有意义的方式设置模型时创建的原始变量和传播者的集合不同。
作为旁注，Gecode 不使用完全复制，它是一个基于重新计算的系统，具有间歇性复制。因此，说“每次到达决策点，就复制Space”是不正确的。请参阅使用 Gecode进行建模和编程中的第 9.1 章。
于 2014-11-11T09:14:53.947 回答