vdm++ - 如何将谓词应用于集合？

Question

假设我有一套，S = { 1, 2, 3, 4 }（内容并不重要）

我可以说forall x in set S & x mod 2 = 0，但这会给我一个布尔答案——里面的所有数字都是偶数吗？如果我想查看集合中x mod 2 = 0为真的所有成员怎么办？

将谓词应用于它的语法是什么？如何过滤奇数、偶数、高于/低于 3.5 的数字等？

Answer 1

试试这个语法，它将返回谓词为真的集合的成员：

{x | x in set S & x mod 2 = 0}