33
Execution control library
[exec]
33.11
Execution contexts
[exec.ctx]
33.11.1
execution::run_
loop
[exec.run.loop]
33.11.1.3
Constructor and destructor
[exec.run.loop.ctor]
🔗
run_loop
(
)
noexcept
;
1
#
Postconditions
:
count
is
0
and
state
is
starting
.
🔗
~
run_loop
(
)
;
2
#
Effects
: If
count
is not
0
or if
state
is
running
, invokes
terminate
(
[except.
terminate]
)
.
Otherwise, has no effects
.