knuth_bendix

std::shared_ptr<KnuthBendix> libsemigroups::FpSemigroup::knuth_bendix() const

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

has_knuth_bendix().

Parameters

(None)