Home | History | Annotate | Download | only in thin_heap_

Lines Matching refs:PB_DS_DEBUG_VERIFY

60     PB_DS_DEBUG_VERIFY(m_a_aux[i] == 0);
70       PB_DS_DEBUG_VERIFY(base_type::empty());
74   PB_DS_DEBUG_VERIFY(!base_type::empty());
75   PB_DS_DEBUG_VERIFY(base_type::parent(m_p_max) == 0);
76   PB_DS_DEBUG_VERIFY(m_p_max->m_p_prev_or_parent == 0);
78     PB_DS_DEBUG_VERIFY(!Cmp_Fn::operator()(m_p_max->m_value, it.m_p_nd->m_value));
96 	PB_DS_DEBUG_VERIFY(p_nd->m_p_next_sibling == 0);
98 	PB_DS_DEBUG_VERIFY(p_nd->m_metadata == p_nd->m_p_next_sibling->m_metadata + 1);
102     PB_DS_DEBUG_VERIFY(p_nd->m_p_l_child->m_metadata + 1 == base_type::degree(p_nd));
114   PB_DS_DEBUG_VERIFY(unmarked_valid || marked_valid);
116     PB_DS_DEBUG_VERIFY(unmarked_valid);