Я пытаюсь определить тип, состоящий из целочисленных значений в Alloy, но Alloy не позволяет значениям быть целыми числами. Мне нужно использовать математические операции, и, следовательно, я не могу использовать строки вместо целых чисел. Мне нужен тип, чтобы я мог также определить отношения.Как определить a-тип, состоящий из целочисленных значений в Alloy
Я ценю, если вы можете мне помочь в этом отношении. Спасибо большое, С уважением, Fathiyeh
Вы можете использовать встроенную функцию типа int и функции, присутствующие в библиотеке util/integers, но, кроме как сложения или вычитания на малых интервалах, вы не будете быть в состоянии сделать многое. –