From 737026d6c1563febe4f8c974d273f77b3209a569 Mon Sep 17 00:00:00 2001 From: Andreas Grois Date: Thu, 22 Aug 2024 00:01:00 +0200 Subject: heapRemoveAtOnlyRemovesAt --- TODO | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'TODO') diff --git a/TODO b/TODO index 76a19b6..99bb92e 100644 --- a/TODO +++ b/TODO @@ -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. -- cgit v1.2.3