report_every(TIntType)¶
-
template<typename TIntType>
inline void libsemigroups::congruence::ToddCoxeter::report_every(TIntType 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 returnstrue
at times
, then Runner::report will only returntrue
again after times
+t
has elapsed.- Parameters
t – the amount of time (in
TIntType
) between reports.- Returns
(None)