KodKod 언 바운드 관계 오류

내 KodKod 프로그램을 테스트하는 동안이 문제가 발생합니다. 그 곳에서 인쇄 할 때 관계가 Unbounded라는 것을 알려줍니다. "bound.relations()"를 사용하면 한정된 관계를 볼 수 있습니다. . 아이디어가 있으면 감사하겠습니다.KodKod 언 바운드 관계 오류

출처

2017-05-12 S. Salwa

최소한의 작동 예제없이 진행되는 상황을 알기는 어렵습니다. bound.relations()를 출력해도 문제를 진단하는 데는 도움이되지 않습니다. 바인드 된 릴레이션의 이름 만 표시합니다. 즉, 'R'이라는 관계가 묶여있을 수 있지만, 'R'이라고하는 다른 관계가 구속되지 않았을 가능성이 있습니다. 특정 관계 객체가 바인딩되어 있는지 확인하려면`bound.relations(). contains (r) '을 통해 존재 여부를 테스트해야합니다. 여기서 r은 관계에 대한 참조입니다.

출처

2017-05-15 21:24:03 user7195728

실제로'bound.relations(). contains (r) '로 테스트하여 true를 반환하지만 여전히 동일한 오류가 발생합니다. 나는 올바른 관계를 맺고 있는지 확인하기 위해 프로그램을 다시 작성했습니다. 지금까지 제가 이해 한 것은 관계가 대상의 순간과 접촉한다는 것입니다. 그래서 나는 올바른 순간에 대한 관계를 경계해야합니다 !! 내가 분명하다면 Idk –

KodKod 언 바운드 관계 오류

답변

관련 문제