在合金中考虑
sig Queue { 链接:队列, elem:Int }
考虑到我有一些谓词谓词-1,当我为队列运行谓词-1时,我如何定义范围< = 1,int = { - 3,-2,0,2}。我没有在这里列出谓词
为1个队列运行谓词-1,在这里运行int范围
不知道int scope
的语法是什么答案 0 :(得分:4)
语法是
run predicate1 for 1 Queue, 3 Int
整数的范围始终是位宽,因此您无法指定Int集合包含{-3。 -2。 0.2};您只能指定位宽,并且将使用该位宽内的所有整数。在上面的例子中,Int集将包含从-4到3的所有整数。