KnuthBendix(KnuthBendix const&)

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

Copy construct a congruence::KnuthBendix instance from a congruence::KnuthBendix.

Complexity

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

Parameters