Types 如何定义由Alloy中的整数值组成的类型

我试图在Alloy中定义一个由整数值组成的类型，但Alloy不允许值是整数。我需要使用数学运算，因此，我不能用字符串代替整数。我需要这个类型，这样我也可以在上面定义关系

如果你能在这方面帮助我，我将不胜感激。 谢谢， 真诚地

---

Fathiyeh

作为Loïc评论的后续，整数通常用于表示关系的基数，它们可以是关系中的原子，Alloy对算术运算有一定的支持。（请参阅Alloy手册中的“3.7基数和整数”）

您可以使用内置的int类型和util/Integers库中的函数，但是除了小间隔的加法或减法之外，您将无法完成很多工作。