tmp/tmp4xhy45qk/{from.md → to.md}
RENAMED
|
@@ -17,18 +17,17 @@ calls occur before `C1::time_point::max()`.
|
|
| 17 |
by a given clock and the SI definition is a measure of the quality of
|
| 18 |
implementation. — *end note*]
|
| 19 |
|
| 20 |
A type `TC` meets the *Cpp17TrivialClock* requirements if:
|
| 21 |
|
| 22 |
-
- `TC` meets the *Cpp17Clock* requirements
|
| 23 |
- the types `TC::rep`, `TC::duration`, and `TC::time_point` meet the
|
| 24 |
*Cpp17EqualityComparable* ([[cpp17.equalitycomparable]]) and
|
| 25 |
-
*Cpp17LessThanComparable* ([[cpp17.lessthancomparable]])
|
| 26 |
-
|
|
|
|
| 27 |
\[*Note 3*: This means, in particular, that operations on these types
|
| 28 |
will not throw exceptions. — *end note*]
|
| 29 |
-
- lvalues of the types `TC::rep`, `TC::duration`, and `TC::time_point`
|
| 30 |
-
are swappable [[swappable.requirements]],
|
| 31 |
- the function `TC::now()` does not throw exceptions, and
|
| 32 |
- the type `TC::time_point::clock` meets the *Cpp17TrivialClock*
|
| 33 |
requirements, recursively.
|
| 34 |
|
|
|
|
| 17 |
by a given clock and the SI definition is a measure of the quality of
|
| 18 |
implementation. — *end note*]
|
| 19 |
|
| 20 |
A type `TC` meets the *Cpp17TrivialClock* requirements if:
|
| 21 |
|
| 22 |
+
- `TC` meets the *Cpp17Clock* requirements,
|
| 23 |
- the types `TC::rep`, `TC::duration`, and `TC::time_point` meet the
|
| 24 |
*Cpp17EqualityComparable* ([[cpp17.equalitycomparable]]) and
|
| 25 |
+
*Cpp17LessThanComparable* ([[cpp17.lessthancomparable]]) and
|
| 26 |
+
*Cpp17Swappable* [[swappable.requirements]] requirements and the
|
| 27 |
+
requirements of numeric types [[numeric.requirements]],
|
| 28 |
\[*Note 3*: This means, in particular, that operations on these types
|
| 29 |
will not throw exceptions. — *end note*]
|
|
|
|
|
|
|
| 30 |
- the function `TC::now()` does not throw exceptions, and
|
| 31 |
- the type `TC::time_point::clock` meets the *Cpp17TrivialClock*
|
| 32 |
requirements, recursively.
|
| 33 |
|