关于ord.als库

Question

如何在Alloy 4中使用ord.als库？

我从这里获取图书馆：http://stuff.mit.edu/afs/sipb/user/golem/papers/898/ord.als 但是当我尝试使用它时，我得到了一些sintax错误。

提前致谢

Answer 1

我不知道ord.als文件是什么，但您应该使用Alloy附带的订购库（ordering.als）。要访问该文件：

• 点击主菜单中的File -> Open Sample Models
• 选择util/ordering.als;

在你的模型中打开它，只需写

open util/ordering[S]

sig S {}