KnuthBendix(fpsemigroup::KnuthBendix const&)

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

Constructs a congruence::KnuthBendix instance from an fpsemigroup::KnuthBendix.

A congruence::KnuthBendix instance simply wraps an fpsemigroup::KnuthBendix, and provides an API compatible with the other algorithms for congruences in libsemigroups.

Complexity

\(O(n)\) where \(n\) is the sum of the lengths of the words in rules of copy.

Parameters