policy::lookahead¶
-
enum libsemigroups::congruence::ToddCoxeter::policy::lookahead¶
The values in this enum can be used as the argument for ToddCoxeter::lookahead to specify the type of lookahead that should be performed when using the HLT strategy.
Values:
-
enumerator full¶
A full lookahead is one starting from the initial coset.
Full lookaheads are therefore sometimes slower but may detect more coincidences than a partial lookahead.
-
enumerator partial¶
A partial lookahead is one starting from the current coset.
Partial lookaheads are therefore sometimes faster but may not detect as many coincidences as a full lookahead.
-
enumerator full¶