lemon/radix_heap.h
changeset 1941 9fe177e0437d
parent 1903 f3d24016dad5
child 1956 a055123339d5
equal deleted inserted replaced
6:104745bbe11f 7:373b8a85fc6c
   420         if (state(i) == IN_HEAP) {
   420         if (state(i) == IN_HEAP) {
   421           erase(i);
   421           erase(i);
   422         }
   422         }
   423         iim[i] = st;
   423         iim[i] = st;
   424         break;
   424         break;
       
   425       case IN_HEAP:
       
   426         break;
   425       }
   427       }
   426     }
   428     }
   427 
   429 
   428   }; // class RadixHeap
   430   }; // class RadixHeap
   429 
   431