标签： types integer alloy
我尝试在Alloy中定义由整数值组成的类型，但Alloy不允许值为整数。我需要使用数学运算，因此，我不能使用字符串而不是整数。我需要这种类型，以便我也可以定义关系。
如果你能在这方面帮助我，我感激不尽。 非常感谢， 此致 Fathiyeh
答案 0 :(得分：0)
作为Loïc评论的后续，整数通常用于表示关系的基数，它们可以是关系中的原子，而Alloy对算术运算有一些支持。 （参见Alloy书中的“3.7基数和整数”。）