lemon/bin_heap.h
changeset 1919 9704601de87f
parent 1903 f3d24016dad5
child 1956 a055123339d5
equal deleted inserted replaced
5:333668662895 6:7aa2c5f305d9
   281         if (state(i) == IN_HEAP) {
   281         if (state(i) == IN_HEAP) {
   282           erase(i);
   282           erase(i);
   283         }
   283         }
   284         iim[i] = st;
   284         iim[i] = st;
   285         break;
   285         break;
       
   286       case IN_HEAP:
       
   287         break;
   286       }
   288       }
   287     }
   289     }
   288 
   290 
   289   }; // class BinHeap
   291   }; // class BinHeap
   290 
   292