Definition at line 109 of file res-monomial-sorter.hpp.
References mNumComparisons.
Referenced by ResMonomialSorter::sort().