原始整数运算

Question

我试图比较由二元关系相关的2组元素作为

的效果

#set1 = #set0 + 2 

显然在这个表达式中，2被解释为{}，这是评估者告诉我的，因此表达式返回true。 书中说自动检测到+算术运算符。但显然问题更多的是如何在算术中表达2。在书中我看到了一个我想要做的例子。

此外，当我计算包含#Set的{​​{1}}时，评估者会给我一个负值。

有人对此有所了解吗？

提前致谢。

Answer 1

试试这个：

sig A {}
sig B {}

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

run show for 5

据我所知，添加整数有特殊功能。 如果我理解你，请告诉我。