knuth_bendix

fpsemigroup::KnuthBendix &libsemigroups::congruence::KnuthBendix::knuth_bendix() const

Returns the underlying fpsemigroup::KnuthBendix.

Parameters

(None)

Complexity

Constant.