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.