run_for(TIntType)¶
-
template<typename
TIntType
>
voidlibsemigroups::fpsemigroup::KnuthBendix
::
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.- Return
(None)
- See
- Parameters
t
: the time to run for (inTIntType
).