KodKod Unbound relation错误

Question

我在测试我的KodKod程序时遇到了这个问题，他告诉我，当我打印时，关系是无界的：“bound.relations（）”看到有限的关系我发现实际上它是有界限的。 如果您有任何想法，我将不胜感激。

Answer 1

如果没有最小的工作示例，很难说清楚发生了什么。打印bound.relations（）无助于诊断问题：这只会显示绑定关系的名称。也就是说，有可能被称为'R'的关系被绑定，但是在公式中使用了被称为'R'的不受约束的关系。要查看特定关系对象是否被绑定，您需要通过`bound.relations（）。contains（r）'来测试它的存在，其中r是对关系的引用。