Implements PolynomialHeap.
Definition at line 700 of file NCReduction.cpp.
References mMap.
Referenced by value().