KnuthBendix(KnuthBendix const&)¶
-
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.