janis/curiOS
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

fix rbtree

Browse source
This commit is contained in:
janis 2026-07-31 03:23:55 +02:00
parent 3182f4e7f0
commit b407abb094
Signed by: janis
SSH key fingerprint: SHA256:bB1qbbqmDXZNT0KKD5c2Dfjg53JGhj7B3CFcLIzSqq8
1 changed files with 8 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
crates/rbtree/src/lib.rs
View file

@ -139,6 +139,7 @@ impl<N: Node, S: NodeStore<N>> RBTree<N, S> {
}
} else {
self.root = Some(y);
self.store.get_mut(y).unwrap().set_parent(None);
}
}
@ -176,6 +177,7 @@ impl<N: Node, S: NodeStore<N>> RBTree<N, S> {
}
} else {
self.root = Some(y);
self.store.get_mut(y).unwrap().set_parent(None);
}
}
@ -380,6 +382,12 @@ impl<N: Node, S: NodeStore<N>> RBTree<N, S> {
self.store.get_mut(parent).unwrap().set_right(x);
}
let color = self.store.get(y).unwrap().color();
// If Y is Z's successor, move Y's data into Z (or move Z's meta into Y).
if y != z {
self.copy_meta_to(z, y);
}
if let Some(x_id) = x {
// If X was red, color it black. Since it replaces a black node, the
// black-height of the subtree is preserved.
@ -390,12 +398,6 @@ impl<N: Node, S: NodeStore<N>> RBTree<N, S> {
return;
}
let color = self.store.get(y).unwrap().color();
// If Y is Z's successor, move Y's data into Z (or move Z's meta into Y).
if y != z {
self.copy_meta_to(z, y);
}
// If X is None and Y was black, then a black node was removed, and the tree
// needs to be rebalanced.
if !color {