在合金考虑
SIG队列{链接：队列，ELEM的：int}
考虑到我有一些谓词谓词-1，I如何定义范围时，我为队列<= 1，INT =运行谓词-1 { - 3，-2,0,2}。 我这里没有列出的谓词
这里运行谓词-1为1的队列，INT范围
不知道什么是对INT范围的语法
Answer 1:
语法
run predicate1 for 1 Queue, 3 Int
对于整数范围始终位宽，所以你不能指定的诠释集正好包含{-3。 -2。 0 2}; 你只能指定位宽，以及位宽内的所有整数将被使用。 在我上面的例子中，诠释集将包含所有整数从-4到3。
文章来源: run command scope in alloy
