基本整数操作

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

试试这个。 让我知道，如果我理解你的权利。