
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. 
Contact Us  Site Map  Trademarks  Privacy  Using this site means you accept its Terms of Use 
Copyright © 2009  2017 Silicon Graphics International. All rights reserved. 