run_for(TIntType)

template<typename TIntType>
inline void libsemigroups::Congruence::run_for(TIntType 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(std::chrono::nanoseconds)

Parameters

t – the time to run for (in TIntType).

Returns

(None)