PB_DS_CLASS_T_DEC void PB_DS_CLASS_C_DEC:: assert_max(const char* __file, int __line) const { assert_max_imp(m_p_head->m_p_parent, __file, __line); }
PB_DS_CLASS_T_DEC void PB_DS_CLASS_C_DEC:: assert_max() const { assert_max_imp(m_p_head->m_p_parent); }
PB_DS_CLASS_T_DEC void PB_DS_CLASS_C_DEC:: assert_max_imp(const node_pointer p_nd) const { if (p_nd == NULL) { _GLIBCXX_DEBUG_ASSERT(m_p_head->m_p_right == m_p_head); return; } if (p_nd->m_p_right == NULL) { _GLIBCXX_DEBUG_ASSERT(p_nd == m_p_head->m_p_right); return; } assert_max_imp(p_nd->m_p_right); }
PB_DS_CLASS_T_DEC void PB_DS_CLASS_C_DEC:: assert_max_imp(const node_pointer p_nd, const char* __file, int __line) const { if (p_nd == 0) { PB_DS_DEBUG_VERIFY(m_p_head->m_p_right == m_p_head); return; } if (p_nd->m_p_right == 0) { PB_DS_DEBUG_VERIFY(p_nd == m_p_head->m_p_right); return; } assert_max_imp(p_nd->m_p_right, __file, __line); }