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