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.- Parameters
w – the word to rewrite.
- Returns
The argument
w
after it has been rewritten.