knuth_bendix

inline std::shared_ptr<congruence::KnuthBendix> libsemigroups::Congruence::knuth_bendix() const

Returns the congruence::KnuthBendix 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

has_knuth_bendix().

Returns

A shared_ptr to a congruence::KnuthBendix or nullptr.