todd_coxeter¶
-
std::shared_ptr<ToddCoxeter>
libsemigroups::FpSemigroup
::
todd_coxeter
() const¶ Returns the libsemigroups::fpsemigroup::ToddCoxeter instance used to compute the finitely presented semigroup (if any).
- Return
A shared_ptr to a congruence::KnuthBendix or nullptr.
- Exceptions
This function guarantees not to throw a LibsemigroupsException.
- Complexity
Constant.
- See
- Parameters
(None)