tmp/tmp71tirqs8/{from.md → to.md}
RENAMED
|
@@ -1,13 +1,13 @@
|
|
| 1 |
#### *Cpp17TimedLockable* requirements <a id="thread.req.lockable.timed">[[thread.req.lockable.timed]]</a>
|
| 2 |
|
| 3 |
-
A type `L` meets the
|
| 4 |
-
|
| 5 |
-
|
| 6 |
-
|
| 7 |
-
|
| 8 |
-
|
| 9 |
|
| 10 |
``` cpp
|
| 11 |
m.try_lock_for(rel_time)
|
| 12 |
```
|
| 13 |
|
|
|
|
| 1 |
#### *Cpp17TimedLockable* requirements <a id="thread.req.lockable.timed">[[thread.req.lockable.timed]]</a>
|
| 2 |
|
| 3 |
+
A type `L` meets the requirements if it meets the *Cpp17Lockable*
|
| 4 |
+
requirements and the following expressions are well-formed and have the
|
| 5 |
+
specified semantics (`m` denotes a value of type `L`, `rel_time` denotes
|
| 6 |
+
a value of an instantiation of `duration` [[time.duration]], and
|
| 7 |
+
`abs_time` denotes a value of an instantiation of `time_point`
|
| 8 |
+
[[time.point]]).
|
| 9 |
|
| 10 |
``` cpp
|
| 11 |
m.try_lock_for(rel_time)
|
| 12 |
```
|
| 13 |
|