run_for(std::chrono::nanoseconds)¶
-
void libsemigroups::CongruenceInterface::run_for(std::chrono::nanoseconds t)¶
Run for a specified amount of time.
For this to work it is necessary to periodically check if Runner::timed_out returns
true
, and to stop if it is, in the Runner::run member function of any derived class of Runner.- Parameters
t – the time in nanoseconds to run for.
- Returns
(None)