没有必要对每个元素应用该谓词来查看它是否是真，因为处理可能在第三个节点后停止。

It is not necessary to apply this predicate explicitly to every element to see if it is true, since processing can stop after the third node.

youdao

必须也为真，因此DB 2查询转换可以添加谓词让它能考虑另一个索引。

Must also be true, so the DB2 query transformation can add that predicate enabling it to consider another index.

youdao

方法是最灵活的，因为它让你提供一个谓词，如果它为真，则引发一个参数匹配，如清单6-30所示。

The Is method is the most flexible because it lets you supply a predicate that causes a parameter match if it returns true, as shown in Listing 6-30.

youdao

最后，证明每个状态谓词为真。

Finally, every state predicate was proved to be true.

youdao

最后，证明每个状态谓词为真。

Finally, every state predicate was proved to be true.

youdao