next_lookahead

ToddCoxeter &libsemigroups::congruence::ToddCoxeter::next_lookahead(size_t) noexcept

If the number of cosets active exceeds the value set by this function, then a lookahead, of the type set by ToddCoxeter::lookahead, is triggered.

This only applies when using the HLT strategy.

The default value is 5 million.