二元谓词


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

描述

二元谓词是一个二元函数，其结果表示某个条件的真假。例如，二元谓词可以是一个函数，它接受两个参数并测试它们是否相等。

细化

关联类型

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

符号

`F`	二元谓词模型的类型
`X`	第一个参数类型`F`
`Y`	第二个参数类型`F`
`f`	类型为`F`
`x`	类型为`X`
`y`	类型为`Y`

有效表达式

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

表达式语义

名称	表达式	先决条件	语义	后置条件
函数调用	`f(x,y)`	有序对`(x,y)`在域内`f`.	返回`true`如果条件满足，`false`如果不满足。	结果是`true`或`false`.

复杂度保证

不变式

模型

bool (*)(int,int)
equal_to

笔记

参见

谓词, 可适应谓词, 可适应二元谓词

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