kill¶
-
inline void libsemigroups::Runner::kill() noexcept¶
Stop Runner::run from running (thread-safe).
This function can be used to terminate Runner::run from another thread. After Runner::kill has been called the Runner may no longer be in a valid state, but will return
true
from Runner::dead.- Parameters
(None)
- Exceptions
This function is
noexcept
and is guaranteed never to throw.- See
- Returns
(None).