The IS VALIDATED predicate returns true if the XML document is already validated against any specific schema or against any registered schemas else it will return false .

如果已经根据特定的模式或任何已注册模式验证了XML文档，ISVALIDATED 谓词将返回 true，否则返回false。

The result of this predicate is true only if the program exits with the same exit_code mentioned in the predicate .

只有在程序退出且退出码与 谓词中的exitcode相同的情况下，这个谓词的结果才是 true。

Additionally test criteria including full true predicate expression coverage full false predicate expression coverage all sub-predicate expressions coverage unique literal true coverage and unique literal false coverage are presented .

提出了全真 谓词表达式覆盖、 全假谓词表达式覆盖、完全子谓词表达式覆盖、唯一文字真覆盖以及唯一文字假覆盖等测试准则。

It is shown that for this class of system there is a state feedback controller such that the given predicate remains true at the state trajectories of the closed loop system if and only if the given predicate is real time control-invariant .

研究表明，对这类系统，存在一个状态反馈控制器使给定谓词在闭环系统状态轨迹上保持为 真的充要条件是该 谓词是实时控制不变的。

The filter function applies the predicate and if it returns true the element in the sequence is added to the result .

filter函数被应用到这个 断言，如果该 断言返回 true，序列中的元素就被加到此结果。

IS NOT VALIDATED predicate returns true if the XML document is not validated against specified schema .

如果没有根据指定的模式验证XML文档，ISNOTVALIDATED 谓词返回 true。