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