diff options
| -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. |