KodKod Unbound relation Error

Question

KodKodプログラムをテストしているときに、この問題が発生しました。私が印刷している間に、関係が無制限であることを教えてくれる：boundedrelations（） 。 あなたは何か考えがあるなら、私は感謝するでしょう。

Answer 1

最小限の動作例がないと何が起こっているのかを知ることは難しいです。 bound.relations（）を出力しても、問題の診断には役立ちません。バインドされているリレーションの名前のみが表示されます。つまり、「R」と呼ばれる関係が拘束されていても、拘束されていない「R」という別の関係が使用されている可能性があります。特定のリレーション・オブジェクトがバインドされているかどうかを確認するには、 `bound.relations（）。contains（r） 'によってその存在をテストする必要があります。ここで、rはリレーションへの参照です。