kill

inline void libsemigroups::FroidurePinBase::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

Runner::finished

Returns

(None).