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如果我清楚 –