todd_coxeter¶
-
inline std::shared_ptr<congruence::ToddCoxeter> libsemigroups::Congruence::todd_coxeter() const¶
Returns the congruence::ToddCoxeter instance used to compute the congruence (if any).
- Parameters
(None)
- Exceptions
Does not throw itself but functions called by this function may throw.
- Complexity
Constant.
- See
- Returns
A shared_ptr to a congruence::ToddCoxeter or nullptr.