
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. 
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. 