run_for(std::chrono::nanoseconds)

void libsemigroups::fpsemigroup::KnuthBendix::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.

See

Runner::run_for(TIntType)

Parameters

t – the time in nanoseconds to run for.

Returns

(None)