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.