PTV/radn-rs
1
1
Fork 0
Code Issues 3 Pull Requests Packages Projects Releases Wiki Activity

join_key_balanced name fix
All checks were successful
buildbot/cargo fmt (1.71) Build done.
Details
buildbot/cargo doc (1.71) Build done.
Details
buildbot/cargo clippy (1.71) Build done.
Details
buildbot/cargo test (1.65) Build done.
Details
buildbot/cargo clippy (1.65) Build done.
Details

Browse Source
This commit is contained in:
AF 2023-08-11 11:23:05 +00:00
parent dc98e38b8f
commit 6192c33341
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/flow/binary/avl.rs
View File

@ -81,8 +81,8 @@ pub trait BinaryTreesAvl<'a>:
match (hl.saturating_sub(hr), hr.saturating_sub(hl)) {
(0, 0) | (0, 1) | (1, 0) => self.try_join(tl, key, tr),
(0, _) => self.assume_bind(&tr, |ctx, trl, kr, trr| {
let (rlh, rrh) = (ctx.height(&trl), ctx.height(&trr));
if rlh > rrh {
let (hrl, hrr) = (ctx.height(&trl), ctx.height(&trr));
if hrl > hrr {
ctx.assume_bind(&trl, |ctx, trll, krl, trlr| {
ctx.make_node((T(tl), key, T(trll)), krl, (T(trlr), kr, T(trr)))
})