问如何使用运算符获取TLA+/PlusCal中序列元素的和？
EN

Stack Overflow用户

提问于 2019-12-10 05:47:06

回答 1查看 256关注 0票数 1

我有一个想法，写下这样的东西：

Sum(seq) == 
  LET F[m \subseteq {seq[x]: x \in DOMAIN seq}] ==
    IF Head(seq) = <<>> THEN 0
    ELSE Head(seq) + F[Tail(seq)]
  IN F[seq]

。。但它不是这样工作的。

回答已采纳

发布于 2019-12-10 12:00:01

LET seq == <<1,2,3,4,5,3,5>>
    Sum[ i \in 1..Len(seq) ] == IF i = 1 THEN seq[i] ELSE seq[i] + Sum[i-1]
IN IF seq = <<>> THEN 0 ELSE Sum[Len(seq)]

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/59257156

复制

相似问题

问如何使用运算符获取TLA+/PlusCal中序列元素的和？EN