std::experimental::ranges:: StrictWeakOrder
| Technical Specification | ||||
| Filesystem library (filesystem TS) | ||||
| Library fundamentals (library fundamentals TS) | ||||
| Library fundamentals 2 (library fundamentals TS v2) | ||||
| Library fundamentals 3 (library fundamentals TS v3) | ||||
| Extensions for parallelism (parallelism TS) | ||||
| Extensions for parallelism 2 (parallelism TS v2) | ||||
| Extensions for concurrency (concurrency TS) | ||||
| Extensions for concurrency 2 (concurrency TS v2) | ||||
| Concepts (concepts TS) | ||||
| Ranges (ranges TS) | ||||
| Reflection (reflection TS) | ||||
| Mathematical special functions (special functions TR) | ||||
| Experimental Non-TS | ||||
| Pattern Matching | ||||
| Linear Algebra | ||||
| std::execution | ||||
| Contracts | ||||
| 2D Graphics |
| Core language concepts | |||||||||||||
| Object concepts | |||||||||||||
| Comparison concepts | |||||||||||||
| Callable concepts | |||||||||||||
|
|||||||||||||
| URNG concept | |||||||||||||
|
Definido en el encabezado
<experimental/ranges/concepts>
|
||
|
template
<
class
R,
class
T,
class
U
>
concept bool StrictWeakOrder = Relation < R, T, U > ; |
(1) | (ranges TS) |
El concepto
StrictWeakOrder<R, T, U>
especifica que la
Relation
R
impone un ordenamiento estricto débil sobre sus argumentos. Una relación
r
es un ordenamiento estricto débil si
-
es irreflexiva: para todo
x,r(x, x)es falso; -
es transitiva: para todo
a,byc, sir(a, b)yr(b, c)son ambos verdaderos entoncesr(a, c)es verdadero; -
sea
e(a, b)igual a!r(a, b) && !r(b, a), entoncesees transitiva:e(a, b) && e(b, c)implicae(a, c).
Bajo estas condiciones, se puede demostrar que
e
es una relación de equivalencia, y
r
induce un orden total estricto en las clases de equivalencia determinadas por
e
.
Notas
La distinción entre
Relation
y
StrictWeakOrder
es puramente semántica.