strategy(policy::strategy)

ToddCoxeter &libsemigroups::congruence::ToddCoxeter::strategy(policy::strategy)

The strategy used during the coset enumeration can be specified using this function.

It can be set to HLT, Felsch, or random.

The default value is policy::strategy::hlt.

See

ToddCoxeter::policy::strategy.