Definition at line 56 of file effectivearea.h.
Referenced by destroy_minheap(), down(), initiate_minheap(), minheap_pop(), minheap_update(), tune_areas(), and up().