From 7ec5f413c6d9d73edb839a484354721382c48d90 Mon Sep 17 00:00:00 2001 From: timofey Date: Fri, 16 Jun 2023 13:55:39 +0000 Subject: [PATCH] `BinaryTreesHeight` for `BalancedTrees` --- src/flow/binary/balancing.rs | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/flow/binary/balancing.rs b/src/flow/binary/balancing.rs index ba49efb..559a4f5 100644 --- a/src/flow/binary/balancing.rs +++ b/src/flow/binary/balancing.rs @@ -126,3 +126,13 @@ impl<'a, BT: BinaryTreesUnbalanced<'a> + BinaryTreesEmpty<'a>> BinaryTreesEmpty< self.0.split_key_empty(tree, key) } } + +impl<'a, BT: BinaryTreesUnbalanced<'a>> BinaryTreesHeight<'a> for BalancedTrees { + fn height(&self, tree: &Self::Tree) -> u64 { + self.0.height(tree) + } + + fn leaf_height_error(&self, height: u64) -> BTWrap<'a, Self, T> { + self.0.leaf_height_error(height) + } +}