PB_DS_CLASS_T_DEC void PB_DS_CLASS_C_DEC:: assert_min(const char* __file, int __line) const { assert_min_imp(m_p_head->m_p_parent, __file, __line); }
PB_DS_CLASS_T_DEC void PB_DS_CLASS_C_DEC:: assert_min() const { assert_min_imp(m_p_head->m_p_parent); }
PB_DS_CLASS_T_DEC void PB_DS_CLASS_C_DEC:: assert_min_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_left == m_p_head); return; } if (p_nd->m_p_left == 0) { PB_DS_DEBUG_VERIFY(p_nd == m_p_head->m_p_left); return; } assert_min_imp(p_nd->m_p_left, __file, __line); }
PB_DS_CLASS_T_DEC void PB_DS_CLASS_C_DEC:: assert_min_imp(const node_pointer p_nd) const { if (p_nd == NULL) { _GLIBCXX_DEBUG_ASSERT(m_p_head->m_p_left == m_p_head); return; } if (p_nd->m_p_left == NULL) { _GLIBCXX_DEBUG_ASSERT(p_nd == m_p_head->m_p_left); return; } assert_min_imp(p_nd->m_p_left); }