| changeset 1917 | 87d3518d73d8 |
| parent 1903 | f3d24016dad5 |
| child 1956 | a055123339d5 |
| 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 |