kill¶
-
void
libsemigroups::Congruence
::
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)
- Return
(None).
- Exceptions
This function is
noexcept
and is guaranteed never to throw.- See