Definition at line 204 of file FreeMonoid.cpp.
210{
211 auto start =
result.size();
213
216 for (auto j = 0; j < word_length; j++)
217 {
218 int curvar = word_ptr[j];
219 int curvarPower = 0;
221 while ((j < word_length) && (word_ptr[j] == curvar))
222 {
223 j++;
224 curvarPower++;
225 }
226 result.push_back(curvarPower);
227
228 --j;
229 }
230 result[start] =
static_cast<int>(
result.size() - start);
231}
int wordLength(const Monom &m) const
VALGRIND_MAKE_MEM_DEFINED & result(result)
References mNumWeights, result(), and wordLength().