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