std::equivalence_relation
De cppreference.com
<tbody>
</tbody>
| Definido en el archivo de encabezado <concepts>
|
||
template < class R, class T, class U > concept equivalence_relation = std::relation<R, T, U>; |
(desde C++20) | |
El concepto equivalence_relation<R, T, U> especifica que la relación (relation) R impone una relación de equivalencia a sus argumentos.
Requisitos semánticos
Una relación r es una relación de equivalencia si
- es reflexiva: para toda
x,r(x, x)es verdadera; - es simétrica: para toda
ayb,r(a, b)es verdadera si y solo sir(b, a)es verdadera; - es transitiva:
r(a, b) && r(b, c)implicar(a, c).
Notas
La distinción entre relation y equivalence_relation es puramente semántica.
