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:
-
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.
-
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.
-