Differences

This shows you the differences between two versions of the page.

--- projects:proof:populatedifftree [2023/02/27 18:11] – Owen Mellema
+++ projects:proof:populatedifftree [2023/02/27 19:22] (current) – Owen Mellema
@@ Line 82: / Line 82: @@
 There are no more unmatched nodes in the modified tree.
+==== Scanning for, and handling, deletion ====
+Handling deletions is really simple.
+We start at the first node in the original tree, and scan for unmatched nodes.
+{{:projects:proof:deletion1a.png?400|}}
+{{:projects:proof:deletion1b.png?400|}}
+{{:projects:proof:deletion1c.png?400|}}
+{{:projects:proof:deletion1d.png?400|}}
+When we find one, we mark it as deleted.
+{{:projects:proof:deletion1e.png?400|}}
+That's literally it - we don't need to actually delete any nodes, we just need a node telling us that we deleted a node.