在合金中添加套件的元素

Question

在设定的时间：{1,2,3,4}，我们如何计算合金中集合中的元素的总和？有没有办法将合金的添加功能用于集合？

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

Answer 1

您可以使用sum操作员

总和一组INT

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

但是，如果您像杰克逊(Jackson(的书一样使用时间，则不能添加它们，因为它们不是int的。所以我有点困惑您要建模的东西？