dead

bool libsemigroups::Congruence::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

Runner::kill