rewrite(std::string) const¶
-
std::string
libsemigroups::fpsemigroup::KnuthBendix
::
rewrite
(std::string w) const¶ Rewrite a word.
Rewrites a copy of the word
w
rewritten according to the current rules in the KnuthBendix instance.- Return
A copy of the argument
w
after it has been rewritten.- Parameters
w
: the word to rewrite.