Searched refs:height_right (Results 1 – 1 of 1) sorted by relevance
193 unsigned height_left, height_right; in verify_redblack() local197 height_right = verify_redblack(nil, root->right); in verify_redblack()198 if (height_left == 0 || height_right == 0) in verify_redblack()200 if (height_left != height_right) in verify_redblack()