Definition at line 236 of file NCReduction.cpp.
Referenced by addPolynomial(), addPolynomial(), clear(), TrivialPolynomialHeap(), and value().