random_interval(T)ΒΆ
-
template<typename
T
>
ToddCoxeter &libsemigroups::congruence::ToddCoxeter
::
random_interval
(T x) Sets the duration (by converting to nanoseconds) that a given randomly selected strategy will run for, when using the random strategy (policy::strategy::random).
The default value is 200ms.