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.