합금 4.2를 사용하고 있으며 상속을 사용하는 데 복잡한 문제가 있습니다. 분명히 서명 간의 상속은 내가 객체 지향 프로그래밍에서 (또는 적어도 예상했던대로) 직면했던 것처럼 행동하지 않습니다. 정확하게 말하자면, 실행 명령에 exact 키워드가 설정되어 있지 않은 경우, 원자는 추상 추상 클래스 인 루트 추상 서명의 원자로서 인스턴스화됩니다. exac
저는 합금 문제를 작성하려고합니다. 여기에는 그 사이에 일련의 상태와 전환이 있습니다. 나의 목표는 주들 사이의 전환을 찾는 것입니다. 또한 각 상태 s는 이웃의 X 값을 사용하여 계산할 수있는 X (s) 값을 가지고 있으며 특정 값보다 작은 모든 값이 필요합니다. 내 문제는 합금이 부동을 지원하지 않으며 내 X 값이 정수가 아닐 수도 있다는 것입니다. 따
저는 Alloy에 익숙하지 않습니다.이 술어를 작동 시키려고 노력하고 있지만 어디에 문제가 있는지 알 수 없습니다. 사용자는 당선에 참여할 때 당에 가입하거나 만들 때 총재가 선거 및 입후보 기간을 알리는 사람이며 사용자는 한 사람에게 투표하고 그 사람의 후보자에 대해 세 가지 기본 설정을 지정할 수 있습니다. 왜 그것이 인스턴스를 찾을 수 없는지 나는 모
플러스 연산자와 마이너스 연산자는 실행 후 이렇게 정확하게 작동하지 않는 이유를 나는 또한 내가이 오류 사용 플러스와 마이너스의 얼굴입니다 여왕이 같은 대각선 에가 모르는 8Queens 문제 입니다 운영자 예를 들어 # 2 사이! 어떤 응답을 #의 q1.row + # q2.col- #의 q1.col = #의 q2.row 감사 안부 8Queens 코드의 여기
합집합에서 모든 하위 유형을 명시 적으로 뺄 필요없이, Alloy에서 나머지 유형을 직접 나타낼 수 있습니까? 예를 들어,에 : sig Test {}
one sig A, B extends Test {}
나는 새로운 SIG에 의해 확장됩니다 때마다 Test을 변경할 필요가 없습니다 속기를 통해 표현 Test-(A+B)를 참조 할 수 있도록하고 싶습니다
합금 4에서 ord.als 라이브러리를 어떻게 사용할 수 있습니까? 여기에서 라이브러리를 가져옵니다. http://stuff.mit.edu/afs/sipb/user/golem/papers/898/ord.als 하지만 사용하려고하면 일부 sintax 오류가 발생합니다. 사전