rewrite(std::string *) constΒΆ

std::string *libsemigroups::fpsemigroup::KnuthBendix::rewrite(std::string *w) const

Rewrite a word in-place.

The word w is rewritten in-place according to the current active rules in the KnuthBendix instance.

Return

The argument w after it has been rewritten.

Parameters

  • w: the word to rewrite.