Добавление элементов набора в Alloy

Question

За установленное время: {1,2,3,4}, как мы можем вычислить сумму элементов в наборе в Alloy? Есть ли способ использовать функцию добавления Alloy для наборов?

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

Answer 1

Вы можете суммировать набор Int с sum оператор

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

Однако, если вы используете Time, как в книге Джексона, вы не сможете добавить их, поскольку они не Int. Так что я немного запутался, что вы хотите моделировать?