report_why_we_stopped¶
-
void libsemigroups::congruence::KnuthBendix::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)
- Returns
(None)