在 Gecode 中获取 Space 中的变量列表答案

【问题标题】：Get a list of variables in a Space in Gecode在 Gecode 中获取 Space 中的变量列表
【发布时间】：2014-11-10 23:49:21
【问题描述】：

Gecode 使用Spaces 表示正在进行的约束满足问题：每次达到决策点时，都会复制Space。

我想对这些空间进行分析。有没有办法获取在某个Space 中注册的变量、约束、...的列表？ API 文档似乎没有提供这样的方法。

【问题讨论】：

【解决方案1】：

目前没有通用的方法来列出当前在空间中的所有变量和传播器。此外，很少需要这样的视图，仍然活跃的变量和传播器集可能与以任何有意义的方式设置模型时创建的原始变量和传播器集不同。

作为旁注，Gecode 不使用完全复制，它是一个基于重新计算的系统，具有间歇性复制。因此，说“每次到达决策点，就复制Space”是不正确的。请参阅Modeling and Programming with Gecode 中的第 9.1 章。

【讨论】：

是的，我知道它不支持完全复制。问题是我想部分使用 Gecode 进行约束编程，但能够取消实例化变量，以便给定第一个解决方案，我可以搜索不同的解决方案，而无需分支范式。
因此目的是创建原始空间的副本。执行第一次搜索。然后将 part 的值复制到第二个空格。并对剩余的变量执行不同的搜索策略。