|
|
| 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 |
![[Silicon Surf]](surf.gif)
![[STL Home]](stl_home.gif)