sig是抽象的，但合金分析器是它的一个实例

Question

我在Alloy中有以下非常简单的模型：

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

当我执行这个模型时，为什么合金分析器仍然会生成 Object 的实例，而它被定义为抽象的！

Answer 1

抽象签名只要没有子签名就可以包含原子。这旨在允许您以增量方式构建模型并为其设置动画，因此您可以将签名标记为抽象，期望稍后将引入子签名。