

Point is: we don’t have to remove items immediately from heap after rmv / edit operation. Do it when we are going to execTop.


Point is: we don’t have to remove items immediately from heap after rmv / edit operation. Do it when we are going to execTop.