是由合金支持的乘法和除法運算符嗎？

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 {}