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.