From 174ca78e55e11e9dd0690efe22014499aa0ca52e Mon Sep 17 00:00:00 2001 From: timofey Date: Fri, 11 Aug 2023 12:14:16 +0000 Subject: [PATCH] inline heights --- src/flow/binary/avl.rs | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/src/flow/binary/avl.rs b/src/flow/binary/avl.rs index 1d2997e..5f3bbd5 100644 --- a/src/flow/binary/avl.rs +++ b/src/flow/binary/avl.rs @@ -92,12 +92,10 @@ pub trait BinaryTreesAvl<'a>: key: Self::Key, tr: Self::Tree, ) -> BTWrap<'a, Self, Self::Node> { - let (hl, hr) = (self.height(&tl), self.height(&tr)); - match balancing(hl, hr) { + match balancing(self.height(&tl), self.height(&tr)) { Balancing::Balanced => self.try_join(tl, key, tr), Balancing::RightBiased => self.assume_bind(&tr, |ctx, trl, kr, trr| { - let (hrl, hrr) = (ctx.height(&trl), ctx.height(&trr)); - if hrl > hrr { + if ctx.height(&trl) > ctx.height(&trr) { ctx.assume_bind(&trl, |ctx, trll, krl, trlr| { ctx.make_node((T(tl), key, T(trll)), krl, (T(trlr), kr, T(trr))) }) @@ -106,8 +104,7 @@ pub trait BinaryTreesAvl<'a>: } }), Balancing::LeftBiased => self.assume_bind(&tl, |ctx, tll, kl, tlr| { - let (hll, hlr) = (ctx.height(&tll), ctx.height(&tlr)); - if hll < hlr { + if ctx.height(&tll) < ctx.height(&tlr) { ctx.assume_bind(&tlr, |ctx, tlrl, klr, tlrr| { ctx.make_node((T(tll), kl, T(tlrl)), klr, (T(tlrr), key, T(tr))) })