dead¶
-
bool
libsemigroups::fpsemigroup::KnuthBendix
::
dead
() const noexcept¶ Check if the runner is dead.
This function can be used to check if we should terminate Runner::run because it has been killed by another thread.
- Parameters
(None)
- Return
A
bool
.- Exceptions
This function is
noexcept
and is guaranteed never to throw.- See