Method current_crit_key

cranelift/bforest/src/path.rs:399–405

Get the critical key for the current node at `level`. The critical key is less than or equal to all keys in the sub-tree at `level` and greater than all keys to the left of the current node at `level`. The left-most node at any level does not have a critical key.

(&self, level: usize, pool: &NodePool<F>)

    ///
    /// The left-most node at any level does not have a critical key.
    fn current_crit_key(&self, level: usize, pool: &NodePool<F>) -> Option<F::Key> {
        // Find the level containing the critical key for the current node.
        self.left_sibling_branch_level(level).map(|bl| {
            let (keys, _) = pool[self.node[bl]].unwrap_inner();
            keys[usize::from(self.entry[bl]) - 1]
        })
    }

    /// Update the critical key after removing the front entry of the leaf node.
    fn update_crit_key(&mut self, pool: &mut NodePool<F>) {