SIG는 추상적이지만, 합금 분석기의 인스턴스를 만들

Question

나는이 합금에 다음과 같은 매우 간단한 모델 :

abstract sig Object {} 
pred show(){} 
run show for 5 

나는 합금 분석기는 여전히 객체 동안의 인스턴스를 만드는 이유는이 모델을 실행할 때 그것은 추상적으로 정의됩니다!

Answer 1

추상 서명은 서브 서명이없는 한 원자를 포함 할 수 있습니다. 이 기능은 모델을 점진적으로 구축하고 애니메이션을 만들 수 있도록 설계되었으므로 나중에 서명을 추가 할 것이라는 예상과 함께 서명을 추상으로 표시 할 수 있습니다.