KnuthBendix(KnuthBendix const&)¶
-
inline libsemigroups::congruence::KnuthBendix::KnuthBendix(KnuthBendix const ©)¶
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
copy – the congruence::KnuthBendix to be copied.