是合金支持的乘法和除法运算符？

Question

我想知道Alloy是否支持乘法和除法运算符。我尝试使用“*”作为乘法运算符，但它不起作用。 “+”虽然有效。

非常感谢。 此致 Fathiyeh

Answer 1

算术运算符通过内置函数支持：plus / add，minus / sub，mul，{{1} }，div。

rem

Answer 2

来自Daniel Jackson的Software Abstractions（2006年版），p。 135，关于乘法的讨论中的答案是“不，它没有”，并继续解释需要这种模型的模型通常不适合在Alloy中建模。