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.