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

Question

我想知道如果乘法和除法运算符是由Alloy支持的。我尝试过乘法运算符“*”，但它不起作用。 “+”的作品虽然。

非常感谢。 此致 Fathiyeh

Answer 1

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

Answer 2

算术运算符是由内置的功能的装置的支持：plus/add，minus/sub，mul，div，rem。

one sig S { 
    x, y: Int, 
    pres, sres, mres, rres, dres: Int 
} { 
    pres = plus[x, y] 
    sres = sub[x, y] 
    mres = mul[x, y] 
    rres = rem[x, y] 
    dres = div[x, y] 
} 

run {}