在合金中添加一組元素

Question

對於集合時間{{1,2,3,4}，我們如何計算合金中集合中元素的總和？ 有沒有一種方法可以對集合使用Alloy的add函數？

pred addTime[time: set Time]{
    add[time] = 10
}

Answer 1

您可以使用sum運算符對一組Int sum

 let s = 1 + 2 + 3 | 6 = sum s

但是，如果您像傑克遜的書中那樣使用時間，那么您將無法添加它們，因為它們不是Int的。 所以我有點困惑您想建模什么？