Searched refs:height_left (Results 1 – 2 of 2) sorted by relevance
190 unsigned height_left, height_right; in verify_redblack() local193 height_left = verify_redblack(nil, root->left); in verify_redblack()195 if (height_left == 0 || height_right == 0) in verify_redblack()197 if (height_left != height_right) in verify_redblack()204 return height_left; in verify_redblack()208 return height_left + 1; in verify_redblack()
199 unsigned height_left, height_right; in verify_redblack() local202 height_left = verify_redblack(nil, root->left); in verify_redblack()204 if (height_left == 0 || height_right == 0) in verify_redblack()206 if (height_left != height_right) in verify_redblack()213 return height_left; in verify_redblack()217 return height_left + 1; in verify_redblack()