ord.als 라이브러리 정보

Question

합금 4에서 ord.als 라이브러리를 어떻게 사용할 수 있습니까?

여기에서 라이브러리를 가져옵니다. http://stuff.mit.edu/afs/sipb/user/golem/papers/898/ord.als 하지만 사용하려고하면 일부 sintax 오류가 발생합니다. 사전

Answer 1

내가 그 ord.als 파일이 뭔지 모르겠지만, 대신 주문 라이브러리 (ordering.als)를 사용한다 합금과 함께 제공한다는 점에서

감사합니다. 해당 파일에 액세스하려면 : 메인 메뉴

선택 util/ordering.als을에서

• 클릭 File -> Open Sample Models을;

은 단순히 쓰기, 모델에서 엽니 다

open util/ordering[S] 

sig S {}