 
 
|  |  | 
| Category: functors | Component type: concept | 
| Result type | The type returned when the Binary Predicate is called. The result type must be convertible to bool. | 
| F | A type that is a model of Binary Predicate | 
| X | The first argument type of F | 
| Y | The second argument type of F | 
| f | Object of type F | 
| x | Object of type X | 
| y | Object of type Y | 
| Name | Expression | Type requirements | Return type | 
|---|---|---|---|
| Function call | f(x,y) | Convertible to bool | 
| Name | Expression | Precondition | Semantics | Postcondition | 
|---|---|---|---|---|
| Function call | f(x,y) | The ordered pair (x,y) is in the domain of f. | Returns true if the condition is satisfied, false if it is not. | The result is either true or false. | 
![[Silicon Surf]](surf.gif) 
![[STL Home]](stl_home.gif)