vdm++ - 我如何对集合/序列进行转换/操作？

Question

我有一套S = { 1, 2, 3, 4, 5 }。

通过对其应用数学运算（例如乘法、幂）来更改集合的内容（或者更确切地说，创建一个新集合）的语法是什么？

Answer 1

这听起来像是集合理解的一个案例。因此，您为 s 中与谓词 p(e) 匹配的那些元素生成 f(e)。一般语法是：

{ f(s) | e in set S & p(e) }

例如：

{ e*e | e in set {1,2,3,4,5,6} & e mod 2 = 0 } = {4, 16, 36}

在更复杂的情况下，您绑定了集合中的多个元素，但这足以满足您的示例:)