
Category: utilities  Component type: concept 
X  A type that is a model of EqualityComparable 
x, y, z  Object of type X 
Name  Expression  Type requirements  Return type 

Equality  x == y  Convertible to bool  
Inequality  x != y  Convertible to bool 
Name  Expression  Precondition  Semantics  Postcondition 

Equality  x == y  x and y are in the domain of ==  
Inequality  x != y  x and y are in the domain of ==  Equivalent to !(x == y) 
Identity  &x == &y implies x == y 
Reflexivity  x == x 
Symmetry  x == y implies y == x 
Transitivity  x == y and y == z implies x == z 
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. 