| changeset 1923 | e1b0ef823e9e |
| parent 1902 | e9af75c90c28 |
| child 1956 | a055123339d5 |
| 4:769cf3c274be | 5:739fe925904b |
|---|---|
297 if (state(i) == IN_HEAP) { |
297 if (state(i) == IN_HEAP) { |
298 erase(i); |
298 erase(i); |
299 } |
299 } |
300 index[i] = st; |
300 index[i] = st; |
301 break; |
301 break; |
302 case IN_HEAP: |
|
303 break; |
|
302 } |
304 } |
303 } |
305 } |
304 |
306 |
305 private: |
307 private: |
306 |
308 |
485 if (state(i) == IN_HEAP) { |
487 if (state(i) == IN_HEAP) { |
486 erase(i); |
488 erase(i); |
487 } |
489 } |
488 index[i] = st; |
490 index[i] = st; |
489 break; |
491 break; |
492 case IN_HEAP: |
|
493 break; |
|
490 } |
494 } |
491 } |
495 } |
492 |
496 |
493 private: |
497 private: |
494 |
498 |