Definition at line 62 of file FreeMonoid.cpp.
References mNumWeights.
Referenced by FreeAlgebra::elem_text_out(), and FreeAlgebra::is_unit().