Gecode使用Space s来表示正在进行的约束满足问题：每次到达决策点时，都会复制Space。
我想对这些正在进行的空间进行分析。有没有一种方法可以获得变量、约束等的列表，。。。注册在某个CCD_ 3中？API文档似乎没有提供这样的方法。
目前没有通用的方法来列出当前空间中的所有变量和传播因子。此外，这种观点很少是必要的，仍然活跃的变量和传播因子的集合可能与以任何有意义的方式设置模型时创建的原始变量和传播算子集合不相似。
顺便说一句，Gecode不使用完全复制，它是一个基于重新计算的系统，具有间歇性复制。因此，"每次到达决策点时，空间都会被复制"的说法是不正确的。请参阅Gecode建模和编程中的第9.1章。