Definition at line 82 of file monomial-ordering.h.
Referenced by mo_make(), moGetWeightValues(), monomialOrderMake(), rawGRevLexMonomialOrdering(), rawWeightsMonomialOrdering(), and write_weights().