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.