Definition at line 132 of file res-monomial-sorter.hpp.
Referenced by ResMonomialSorter(), setMonoms(), and sort().