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.