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