detail/splay_tree_/splay_fn_imps.hpp

67 	  const node_pointer p_grandparent = p_parent->m_p_parent;
71 	    base_type::recursive_count(p_grandparent);
76 	      p_grandparent->m_p_right == p_parent)
77 	    splay_zig_zag_left(p_nd, p_parent, p_grandparent);
79 		   p_grandparent->m_p_left == p_parent)
80 	    splay_zig_zag_right(p_nd, p_parent, p_grandparent);
82 		   p_grandparent->m_p_left == p_parent)
83 	    splay_zig_zig_left(p_nd, p_parent, p_grandparent);
85 	    splay_zig_zig_right(p_nd, p_parent, p_grandparent);
97 		   node_pointer p_grandparent)
100   _GLIBCXX_DEBUG_ASSERT(p_grandparent == p_parent->m_p_parent);
102   PB_DS_ASSERT_BASE_NODE_CONSISTENT(p_grandparent)
105 			p_grandparent->m_p_right == p_parent);
107   splay_zz_start(p_nd, p_parent, p_grandparent);
115   p_nd->m_p_left = p_grandparent;
116   p_grandparent->m_p_parent = p_nd;
122   p_grandparent->m_p_right = p_c;
124     p_c->m_p_parent = p_grandparent;
126   splay_zz_end(p_nd, p_parent, p_grandparent);
133 		    node_pointer p_grandparent)
136   _GLIBCXX_DEBUG_ASSERT(p_grandparent == p_parent->m_p_parent);
138   PB_DS_ASSERT_BASE_NODE_CONSISTENT(p_grandparent)
141 	  		p_grandparent->m_p_left == p_parent);
143   splay_zz_start(p_nd, p_parent, p_grandparent);
151   p_nd->m_p_right = p_grandparent;
152   p_grandparent->m_p_parent = p_nd;
158   p_grandparent->m_p_left = p_c;
160     p_c->m_p_parent = p_grandparent;
162   splay_zz_end(p_nd, p_parent, p_grandparent);
169 		   node_pointer p_grandparent)
172   _GLIBCXX_DEBUG_ASSERT(p_grandparent == p_parent->m_p_parent);
174   PB_DS_ASSERT_BASE_NODE_CONSISTENT(p_grandparent)
179   splay_zz_start(p_nd, p_parent, p_grandparent);
187   p_parent->m_p_right = p_grandparent;
188   p_grandparent->m_p_parent = p_parent;
194   p_grandparent->m_p_left = p_c;
196     p_c->m_p_parent = p_grandparent;
198   splay_zz_end(p_nd, p_parent, p_grandparent);
205 		    node_pointer p_grandparent)
208   _GLIBCXX_DEBUG_ASSERT(p_grandparent == p_parent->m_p_parent);
209   PB_DS_ASSERT_BASE_NODE_CONSISTENT(p_grandparent)
213   splay_zz_start(p_nd, p_parent, p_grandparent);
221   p_parent->m_p_left = p_grandparent;
222   p_grandparent->m_p_parent = p_parent;
228   p_grandparent->m_p_right = p_c;
230     p_c->m_p_parent = p_grandparent;
232   base_type::update_to_top(p_grandparent, (node_update*)this);
233   splay_zz_end(p_nd, p_parent, p_grandparent);
245 	       node_pointer p_grandparent)
249   _GLIBCXX_DEBUG_ASSERT(p_grandparent != 0);
251   const bool grandparent_head = p_grandparent->m_p_parent == base_type::m_p_head;
260   node_pointer p_greatgrandparent = p_grandparent->m_p_parent;
264   if (p_grandparent == p_greatgrandparent->m_p_left)
274 	     node_pointer p_grandparent)
279   this->apply_update(p_grandparent, (node_update*)this);