0
我在测试我的KodKod程序时遇到了这个问题，他告诉我一个关系是无界的，而当我打印时：“bound.relations（）”来查看有界关系，我发现它实际上是有界的。 如果您有任何想法，我将不胜感激。KodKod Unbound relation Error
A
回答
0
没有一个最小的工作示例，很难说出发生了什么。打印bound.relations（）将无助于诊断问题：这只会显示绑定关系的名称。也就是说，有可能称为'R'的关系被绑定，但是在公式中使用了不被绑定的称为'R'的不同关系。要查看特定关系对象是否被绑定，您需要通过`bound.relations（）。contains（r）'来测试它的存在，其中r是对关系的引用。
相关问题
- 1. KodKod中的传递闭包
- 2. CountreExample代KodKod
- 3. deftype - variable unbound
- 4. unbound方法createDataFrame（）
- 5. Django Relation
- 6. Rails：find_or_create relation
- 7. NSPredicate query for relation ship
- 8. tweepy unbound method_call错误
- 9. android cordova phonegap config.xml unbound prefix
- 10. Strongloop - hasOne relation
- 11. Silverstripe Gridfield Relation
- 12. OrderBy和Relation OneToMany
- 13. OrderBy In HasAndBelongsToMany Relation
- 14. Alloy和Kodkod中总排序的优化
- 15. 球拍exn：失败？ unbound
- 16. Bash unbound variable array（script：s3-bash）
- 17. Ruby on Rails has_many relation
- 18. asp.net FindControl on unbound gridview或repeater
- 19. python unbound方法再次
- 20. Rails Relation＃update_all消耗的内存比Relation＃更新
- 21. Erlang“unbound variable”在调用函数时
- 22. laravel where has include no relation
- 23. ProgrammingError at/relation“main_post”does not exist
- 24. NSPredicate in many to many relation ship
- 25. ＃<ActiveRecord :: Relation :: ActiveRecord_Relation_Question：0x00000103644cc8>
- 26. ActionView :: Template :: Error
- 27. 着名的android unbound前缀错误
- 28. JRE系统库[WebSphere v6.1 JRE]（unbound）
- 29. 如何在启动时启动“unbound”
- 30. 运行时可以更改Unbound Expression吗？
事实上，我用'bound.relations（）。contains（r）'进行测试，并返回true，但我仍然得到相同的错误。我重写了我的程序，以确保我确定了正确的关系。直到现在，我所理解的是，关系与对象的语句联系在一起，所以我必须确保我确定了正确句子的关系！ Idk如果我清楚 –