KnuthBendix(fpsemigroup::KnuthBendix const&)

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

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.