report_every(std::chrono::nanoseconds)

void libsemigroups::fpsemigroup::KnuthBendix::report_every(std::chrono::nanoseconds t)

Set the minimum elapsed time between reports.

This function can be used to specify at run time the minimum elapsed time between two calls to Runner::report that return true. If Runner::report returns true at time s, then Runner::report will only return true again after time s + t has elapsed.

Return

(None)

See

report_every(TIntType)

Parameters
  • t: the amount of time (in nanoseconds) between reports.