report

bool libsemigroups::congruence::KnuthBendix::report() const

Check if it is time to report.

This function can be used in an implementation of Runner::run (in a derived class of Runner) to check if enough time has passed that we should report again.

Parameters

(None)

See

report_every(std::chrono::nanoseconds) and report_every(TIntType).

Returns

A bool.