random_interval(std::chrono::nanoseconds)ΒΆ
-
ToddCoxeter &
libsemigroups::congruence::ToddCoxeter
::
random_interval
(std::chrono::nanoseconds) Sets the duration in nanoseconds that a given randomly selected strategy will run for, when using the random strategy (policy::strategy::random).
The default value is 200ms.