获取Gecode中Space中的变量列表

Question

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

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

Answer 1

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

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