strategy() const

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

The current strategy being used for coset enumeration.

See

ToddCoxeter::policy::strategy