diff options
| author | Andreas Grois <andi@grois.info> | 2024-08-22 00:01:00 +0200 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-08-22 00:01:00 +0200 |
| commit | 737026d6c1563febe4f8c974d273f77b3209a569 (patch) | |
| tree | f52cbe9f372b8490292193ca024db3d0c17e2a33 /TODO | |
| parent | e3e52fe33b0c6704cc5471e32ac76ebe522b8e83 (diff) | |
heapRemoveAtOnlyRemovesAt
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -19,7 +19,7 @@ This is a rough outline of upcoming tasks: [x] Prove that CompleteTree.heapUpdateAt indeed updates the value at the given index. - Use the same approach as heapUpdateRoot [x] Prove that CompleteTree.heapRemoveAt returns the element at the given index -[ ] Prove that CompleteTree.heapRemoveAt leaves all values in the tree except at the input index. +[x] Prove that CompleteTree.heapRemoveAt leaves all values in the tree except at the input index. Stuff below is not scheduled to happen any time soon. Feel free to contribute though. |