detail/bin_search_tree_/debug_fn_imps.hpp

91 assert_node_consistent(const node_pointer p_nd,
94   assert_node_consistent_(p_nd, __file, __line);
100 assert_node_consistent_(const node_pointer p_nd,
103   if (p_nd == 0)
106   assert_node_consistent_with_left(p_nd, __file, __line);
107   assert_node_consistent_with_right(p_nd, __file, __line);
110     l_range = assert_node_consistent_(p_nd->m_p_left, __file, __line);
114 					  PB_DS_V2F(p_nd->m_value)));
117     r_range = assert_node_consistent_(p_nd->m_p_right, __file, __line);
120     PB_DS_DEBUG_VERIFY(Cmp_Fn::operator()(PB_DS_V2F(p_nd->m_value),
123   return std::make_pair((l_range.first != 0) ? l_range.first : &p_nd->m_value,
124 			(r_range.second != 0)? r_range.second : &p_nd->m_value);
130 assert_node_consistent_with_left(const node_pointer p_nd,
133   if (p_nd->m_p_left == 0)
135   PB_DS_DEBUG_VERIFY(p_nd->m_p_left->m_p_parent == p_nd);
136   PB_DS_DEBUG_VERIFY(!Cmp_Fn::operator()(PB_DS_V2F(p_nd->m_value),
137 					 PB_DS_V2F(p_nd->m_p_left->m_value)));
143 assert_node_consistent_with_right(const node_pointer p_nd,
146   if (p_nd->m_p_right == 0)
148   PB_DS_DEBUG_VERIFY(p_nd->m_p_right->m_p_parent == p_nd);
149   PB_DS_DEBUG_VERIFY(!Cmp_Fn::operator()(PB_DS_V2F(p_nd->m_p_right->m_value),
150 					 PB_DS_V2F(p_nd->m_value)));
164 assert_min_imp(const node_pointer p_nd, const char* __file, int __line) const
166   if (p_nd == 0)
172   if (p_nd->m_p_left == 0)
174       PB_DS_DEBUG_VERIFY(p_nd == m_p_head->m_p_left);
177   assert_min_imp(p_nd->m_p_left, __file, __line);
191 assert_max_imp(const node_pointer p_nd,
194   if (p_nd == 0)
200   if (p_nd->m_p_right == 0)
202       PB_DS_DEBUG_VERIFY(p_nd == m_p_head->m_p_right);
206   assert_max_imp(p_nd->m_p_right, __file, __line);
263 assert_consistent_with_debug_base(const node_pointer p_nd,
266   if (p_nd == 0)
268   debug_base::check_key_exists(PB_DS_V2F(p_nd->m_value), __file, __line);
269   assert_consistent_with_debug_base(p_nd->m_p_left, __file, __line);
270   assert_consistent_with_debug_base(p_nd->m_p_right, __file, __line);