dead

inline bool libsemigroups::KnuthBendixCongruenceByPairs::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)

Exceptions

This function is noexcept and is guaranteed never to throw.

See

Runner::kill

Returns

A bool.