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 |