Member functions

This page contains a description of the member functions of the KnuthBendix class that are not inherited from CongruenceInterface or Runner.

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

Returns the underlying fpsemigroup::KnuthBendix.

Parameters

(None)

Complexity

Constant.