基本整數操作

Question

我想比較2臺由二元關係相關的元素，其作爲

#set1 = #set0 + 2 

顯然，在這個表達式2被解釋爲{}的效果，這就是評價者告訴我，所以表達式返回true。 該書說+算術運算符被自動檢測到。但顯然問題更多的是如何在算術中表達2。在這本書中，我看到了一個正是我想要做的例子。

此外，當我計算#Set，其中包含set1+set0評估者返回給我一個負值。

有人對此有所瞭解嗎？

在此先感謝。據我所知有添加整數特殊功能

sig A {} 
sig B {} 

pred show{ #A = add[#B, 2]} 

run show for 5 

據：

Answer 1

試試這個。 讓我知道，如果我理解你的權利。