谓词


类别: 函子	组件类型: 概念

描述

谓词是一个一元函数，其结果表示某个条件的真假。例如，谓词可以是一个接受类型为int并返回true的函数，如果参数为正数。

细化

关联类型

结果类型	调用谓词时返回的类型。结果类型必须可转换为`bool`.

符号

`F`	谓词模型的类型
`X`	的论证类型`F`
`f`	类型为的对象`F`
`x`	类型为的对象`X`

有效表达式

名称	表达式	类型要求	返回类型
函数调用	`f(x)`		可转换为`bool`

表达式语义

名称	表达式	先决条件	语义	后置条件
函数调用	`f(x)`	`x`在的域中`f`.	返回`true`如果条件满足，`false`如果没有。	结果要么是`true`或者`false`.

复杂度保证

不变式

模型

bool (*)(int)

备注

另请参阅

可适配谓词，二元谓词，可适配二元谓词

版权 © 1999 Silicon Graphics, Inc. 保留所有权利。商标信息