Definition at line 41 of file effectivearea.h.
Referenced by down(), minheap_pop(), tune_areas(), and up().