在合金中运行命令范围

时间:2013-02-02 19:31:38

标签: alloy

在合金中考虑

sig Queue {   链接:队列,   elem:Int }

考虑到我有一些谓词谓词-1,当我为队列运行谓词-1时,我如何定义范围< = 1,int = { - 3,-2,0,2}。我没有在这里列出谓词

为1个队列运行谓词-1,在这里运行int范围

不知道int scope

的语法是什么

1 个答案:

答案 0 :(得分:4)

语法是

run predicate1 for 1 Queue, 3 Int

整数的范围始终是位宽,因此您无法指定Int集合包含{-3。 -2。 0.2};您只能指定位宽,并且将使用该位宽内的所有整数。在上面的例子中,Int集将包含从-4到3的所有整数。