KnuthBendix(fpsemigroup::KnuthBendix const&)¶
-
libsemigroups::congruence::KnuthBendix
::
KnuthBendix
(fpsemigroup::KnuthBendix const ©)¶ 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
copy
: the fpsemigroup::KnuthBendix.