stopped

inline bool libsemigroups::congruence::KnuthBendix::stopped() const

Check if the runner is stopped.

This function can be used to check whether or not Runner::run has been stopped for whatever reason. In other words, it checks if Runner::timed_out, Runner::finished, or Runner::dead.

Parameters

(None)

Returns

A bool.