Definition at line 55 of file effectivearea.h.
Referenced by initiate_minheap(), minheap_pop(), and tune_areas().