run_for(TIntType)¶
-
template<typename TIntType>
inline void libsemigroups::FpSemigroup::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.- Parameters
t – the time to run for (in
TIntType
).- Returns
(None)