如何在Alloy 4中使用ord.als库?
我从这里获取图书馆:http://stuff.mit.edu/afs/sipb/user/golem/papers/898/ord.als 但是当我尝试使用它时,我得到了一些sintax错误。
提前致谢
答案 0 :(得分:1)
我不知道ord.als
文件是什么,但您应该使用Alloy附带的订购库(ordering.als
)。要访问该文件:
File -> Open Sample Models
util/ordering.als
; 在你的模型中打开它,只需写
open util/ordering[S]
sig S {}