changeset 1905 | b0b3fa857d72 |
parent 1902 | e9af75c90c28 |
child 1906 | 7fa90b66ca9e |
5:03a3e2bfd2a6 | 6:104745bbe11f |
---|---|
418 case POST_HEAP: |
418 case POST_HEAP: |
419 case PRE_HEAP: |
419 case PRE_HEAP: |
420 if (state(i) == IN_HEAP) { |
420 if (state(i) == IN_HEAP) { |
421 erase(i); |
421 erase(i); |
422 } |
422 } |
423 index[i] = st; |
423 iim[i] = st; |
424 break; |
424 break; |
425 } |
425 } |
426 } |
426 } |
427 |
427 |
428 }; // class RadixHeap |
428 }; // class RadixHeap |