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.