在合金中添加集合的元素

【问题标题】：Adding elements of a set in Alloy在合金中添加集合的元素
【发布时间】：2018-02-25 16:43:49
【问题描述】：

对于集合时间：{1,2,3,4}，我们如何计算 Alloy 集合中元素的总和？有没有办法使用 Alloy 的 add 函数进行集合？

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

【问题讨论】：

【解决方案1】：

您可以使用 sum 运算符对一组 Int 求和

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

但是，如果您像杰克逊的书中那样使用 Time，那么您将无法添加它们，因为它们不是 Int 的。所以我有点困惑你想建模什么？

【讨论】：