Differences

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

--- projects:proof:populatedifftree [2023/02/27 18:04] – Owen Mellema
+++ projects:proof:populatedifftree [2023/02/27 19:22] (current) – Owen Mellema
@@ Line 49: / Line 49: @@
 We do this for each pair of matched nodes. On this level, there are no mismatched nodes, but there will be in the next level, under node F.
-==== Checking for new nodes ====
+==== Scanning for, and handling, creation ====
 Next, we check if we need to add new nodes. We start in the modified tree, scanning for any nodes that are unmatched.
@@ 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.