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.