У меня есть следующая очень простая модель в Alloy:
abstract sig Object {}
pred show(){}
run show for 5
когда я выполняю эту модель, почему анализатор сплавов по-прежнему создает экземпляр Object, хотя он определен как абстрактный!
У меня есть следующая очень простая модель в Alloy:
abstract sig Object {}
pred show(){}
run show for 5
когда я выполняю эту модель, почему анализатор сплавов по-прежнему создает экземпляр Object, хотя он определен как абстрактный!
Абстрактная подпись может содержать атомы, если у нее нет субсигнатур. Это сделано для того, чтобы вы могли постепенно строить и анимировать модель, поэтому вы можете пометить сигнатуру как абстрактную, ожидая, что субсигнатуры будут введены позже.