運行命令範圍

Question

在合金考慮

SIG隊列{ 鏈路：隊列， ELEM的：int }

認爲我有一些謂詞謂詞-1，I如何定義範圍時，我對隊列< = 1運行謂詞-1，int = { - 3，-2,0,2}。我還沒有上市這裏

運行謂詞-1謂詞1個隊列，INT範圍在這裏

不知道什麼是對int的範圍語法

Answer 1

語法

run predicate1 for 1 Queue, 3 Int 

的整數範圍始終是一個位寬，所以你不能指定的詮釋集正好包含{-3。 -2。 0.2};您只能指定一個位寬，並且將使用該位寬內的所有整數。另外，在上述我的例子，在INT集將包含從-4所有整數爲3。