关于ord.als库

时间:2014-04-20 13:25:34

标签: alloy

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

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

提前致谢

1 个答案:

答案 0 :(得分:1)

我不知道ord.als文件是什么,但您应该使用Alloy附带的订购库(ordering.als)。要访问该文件:

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

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

open util/ordering[S]

sig S {}