diff options
| author | Andreas Grois <andi@grois.info> | 2024-08-22 23:26:17 +0200 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-08-22 23:26:17 +0200 |
| commit | e58783388fb83a0b53075855955a99f947ee0f7d (patch) | |
| tree | d5cc48c90fd3db6dad6064fce6320586bfe1fb1a /TODO | |
| parent | 737026d6c1563febe4f8c974d273f77b3209a569 (diff) | |
heapPushContainsValue
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ This is a rough outline of upcoming tasks: -[ ] Prove that an index exists such that after CompleteTree.heapPush the pushed element can be obtained by +[x] Prove that an index exists such that after CompleteTree.heapPush the pushed element can be obtained by CompleteTree.get [ ] Prove that CompleteTree.heapPush leaves all elements that were already in the heap in the heap. [x] Prove that CompleteTree.heapRemoveLastWithIndex and CompleteTree.heapRemoveLast yield the same tree |