Definition at line 181 of file FreeMonoid.cpp.
References mNumWeights, mVariableNames, and wordLength().
Referenced by NCF4::displayF4Matrix(), NCF4::displayFullF4Matrix(), and FreeAlgebra::elem_text_out().