detail/rb_tree_map_/split_join_fn_imps.hpp

65 join_imp(node_pointer p_x, node_pointer p_r)
68   if (p_r != 0)
69     p_r->m_red = false;
72   const size_type other_h = black_height(p_r);
82       p_x_r = p_r;
87       base_type::m_p_head->m_p_parent = p_r;
88       if (p_r != 0)
89 	p_r->m_p_parent = base_type::m_p_head;
186 find_join_pos_left(node_pointer p_r, size_type h_l, size_type h_r)
195       if (p_r->m_red == false)
201       p_r_parent = p_r;
202       p_r = p_r->m_p_left;
205   if (!is_effectively_black(p_r))
207       p_r_parent = p_r;
208       p_r = p_r->m_p_left;
211   _GLIBCXX_DEBUG_ASSERT(is_effectively_black(p_r));
212   _GLIBCXX_DEBUG_ASSERT(black_height(p_r) == h_l);
213   _GLIBCXX_DEBUG_ASSERT(p_r == 0 || p_r->m_p_parent == p_r_parent);
214   return std::make_pair(p_r, p_r_parent);
274   node_pointer p_r = p_nd->m_p_right;
302   other.join_imp(p_nd, p_r);