KnuthBendix(KnuthBendix const&)

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

Copy construct a KnuthBendix instance.

Complexity

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

Parameters

• copy: the KnuthBendix instance to copy.