| changeset 1905 | b0b3fa857d72 |
| parent 1902 | e9af75c90c28 |
| child 1906 | 7fa90b66ca9e |
| 4:b49b2db076b2 | 5:333668662895 |
|---|---|
279 case POST_HEAP: |
279 case POST_HEAP: |
280 case PRE_HEAP: |
280 case PRE_HEAP: |
281 if (state(i) == IN_HEAP) { |
281 if (state(i) == IN_HEAP) { |
282 erase(i); |
282 erase(i); |
283 } |
283 } |
284 index[i] = st; |
284 iim[i] = st; |
285 break; |
285 break; |
286 } |
286 } |
287 } |
287 } |
288 |
288 |
289 }; // class BinHeap |
289 }; // class BinHeap |