获取Gecode中空格中的变量列表

Question

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

我想对这些正在进行的空间进行分析。有没有一种方法可以获得变量，约束，...在某个Space中注册的？API文档似乎没有提供这样的方法。

Answer 1

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

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