Definition at line 500 of file NCReduction.cpp.
Referenced by addPolynomial(), clear(), getMemoryUsedInBytes(), getName(), isZero(), NaivePolynomialHeap(), and value().