diff options
| author | Andreas Grois <andi@grois.info> | 2024-08-20 23:53:35 +0200 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-08-20 23:53:35 +0200 |
| commit | 6cb35171621051aec03906656ffa266f5947380d (patch) | |
| tree | 8da265af892d967954b557445628f6da10e375c6 /TODO | |
| parent | 7df84f9a3e399587c65a149bf4247154d9b07cc7 (diff) | |
Minor: Update TODO
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -18,7 +18,7 @@ This is a rough outline of upcoming tasks: [x] Prove that CompleteTree.heapUpdateAt returns the element at the given index [x] Prove that CompleteTree.heapUpdateAt indeed updates the value at the given index. - Use the same approach as heapUpdateRoot -[ ] Prove that CompleteTree.heapRemoveAt returns the element at the given index +[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. |