Category: functors | Component type: concept |
Result type | The type returned when the Predicate is called. The result type must be convertible to bool. |
F | A type that is a model of Predicate |
X | The argument type of F |
f | Object of type F |
x | Object of type X |
Name | Expression | Type requirements | Return type |
---|---|---|---|
Function call | f(x) | Convertible to bool |
Name | Expression | Precondition | Semantics | Postcondition |
---|---|---|---|---|
Function call | f(x) | x 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. |