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.