report_why_we_stopped¶
-
void
libsemigroups::KnuthBendixCongruenceByPairs
::
report_why_we_stopped
() const¶ Report why Runner::run stopped.
Reports whether Runner::run was stopped because it is Runner::finished, Runner::timed_out, or Runner::dead.
- Parameters
(None)
- Return
(None)