report_every(TIntType)ΒΆ
-
template<typename
TIntType
>
voidlibsemigroups::Runner
::
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.- Return
(None)
- See
- Parameters
t
: the amount of time (inTIntType
) between reports.