detail/splay_tree_/splay_fn_imps.hpp

70             const node_pointer p_parent = p_nd->m_p_parent;
71             const node_pointer p_grandparent = p_parent->m_p_parent;
79             if (p_parent->m_p_left == p_nd &&
80 		p_grandparent->m_p_right == p_parent)
81 	      splay_zig_zag_left(p_nd, p_parent, p_grandparent);
82             else if (p_parent->m_p_right == p_nd &&
83 		     p_grandparent->m_p_left == p_parent)
84 	      splay_zig_zag_right(p_nd, p_parent, p_grandparent);
85             else if (p_parent->m_p_left == p_nd &&
86 		     p_grandparent->m_p_left == p_parent)
87 	      splay_zig_zig_left(p_nd, p_parent, p_grandparent);
89 	      splay_zig_zig_right(p_nd, p_parent, p_grandparent);
100 splay_zig_zag_left(node_pointer p_nd, node_pointer p_parent,
103   _GLIBCXX_DEBUG_ASSERT(p_parent == p_nd->m_p_parent);
104   _GLIBCXX_DEBUG_ASSERT(p_grandparent == p_parent->m_p_parent);
108   _GLIBCXX_DEBUG_ASSERT(p_parent->m_p_left == p_nd &&
109 		        p_grandparent->m_p_right == p_parent);
111   splay_zz_start(p_nd, p_parent, p_grandparent);
116   p_nd->m_p_right = p_parent;
117   p_parent->m_p_parent = p_nd;
122   p_parent->m_p_left = p_b;
124     p_b->m_p_parent = p_parent;
130   splay_zz_end(p_nd, p_parent, p_grandparent);
136 splay_zig_zag_right(node_pointer p_nd, node_pointer p_parent,
139   _GLIBCXX_DEBUG_ASSERT(p_parent == p_nd->m_p_parent);
140   _GLIBCXX_DEBUG_ASSERT(p_grandparent == p_parent->m_p_parent);
144   _GLIBCXX_DEBUG_ASSERT(p_parent->m_p_right == p_nd &&
145 	  	        p_grandparent->m_p_left == p_parent);
147   splay_zz_start(p_nd, p_parent, p_grandparent);
152   p_nd->m_p_left = p_parent;
153   p_parent->m_p_parent = p_nd;
158   p_parent->m_p_right = p_b;
160     p_b->m_p_parent = p_parent;
166   splay_zz_end(p_nd, p_parent, p_grandparent);
172 splay_zig_zig_left(node_pointer p_nd, node_pointer p_parent,
175   _GLIBCXX_DEBUG_ASSERT(p_parent == p_nd->m_p_parent);
176   _GLIBCXX_DEBUG_ASSERT(p_grandparent == p_parent->m_p_parent);
180   _GLIBCXX_DEBUG_ASSERT(p_parent->m_p_left == p_nd &&
183   splay_zz_start(p_nd, p_parent, p_grandparent);
186   node_pointer p_c = p_parent->m_p_right;
188   p_nd->m_p_right = p_parent;
189   p_parent->m_p_parent = p_nd;
191   p_parent->m_p_right = p_grandparent;
192   p_grandparent->m_p_parent = p_parent;
194   p_parent->m_p_left = p_b;
196     p_b->m_p_parent = p_parent;
202   splay_zz_end(p_nd, p_parent, p_grandparent);
208 splay_zig_zig_right(node_pointer p_nd, node_pointer p_parent,
211   _GLIBCXX_DEBUG_ASSERT(p_parent == p_nd->m_p_parent);
212   _GLIBCXX_DEBUG_ASSERT(p_grandparent == p_parent->m_p_parent);
214   _GLIBCXX_DEBUG_ASSERT(p_parent->m_p_right == p_nd &&
217   splay_zz_start(p_nd, p_parent, p_grandparent);
220   node_pointer p_c = p_parent->m_p_left;
222   p_nd->m_p_left = p_parent;
223   p_parent->m_p_parent = p_nd;
225   p_parent->m_p_left = p_grandparent;
226   p_grandparent->m_p_parent = p_parent;
228   p_parent->m_p_right = p_b;
230     p_b->m_p_parent = p_parent;
237   splay_zz_end(p_nd, p_parent, p_grandparent);
245 	       node_pointer p_parent,
247 	       node_pointer /*p_parent*/,
252   _GLIBCXX_DEBUG_ASSERT(p_parent != NULL);
277 splay_zz_end(node_pointer p_nd, node_pointer p_parent,
284   apply_update(p_parent, (node_update* )this);