report_why_we_stopped

void libsemigroups::FroidurePinBase::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)