Where Online Learning is simpler!

The C and C++ Include Header Files

/usr/include/c++/13/ext/pb_ds/detail/rc_binomial_heap_/debug_fn_imps.hpp


$ cat -n /usr/include/c++/13/ext/pb_ds/detail/rc_binomial_heap_/debug_fn_imps.hpp

     1	// -*- C++ -*-
     2	
     3	// Copyright (C) 2005-2023 Free Software Foundation, Inc.
     4	//
     5	// This file is part of the GNU ISO C++ Library.  This library is free
     6	// software; you can redistribute it and/or modify it under the terms
     7	// of the GNU General Public License as published by the Free Software
     8	// Foundation; either version 3, or (at your option) any later
     9	// version.
    10	
    11	// This library is distributed in the hope that it will be useful, but
    12	// WITHOUT ANY WARRANTY; without even the implied warranty of
    13	// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
    14	// General Public License for more details.
    15	
    16	// Under Section 7 of GPL version 3, you are granted additional
    17	// permissions described in the GCC Runtime Library Exception, version
    18	// 3.1, as published by the Free Software Foundation.
    19	
    20	// You should have received a copy of the GNU General Public License and
    21	// a copy of the GCC Runtime Library Exception along with this program;
    22	// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
    23	// <http://www.gnu.org/licenses/>.
    24	
    25	// Copyright (C) 2004 Ami Tavory and Vladimir Dreizin, IBM-HRL.
    26	
    27	// Permission to use, copy, modify, sell, and distribute this software
    28	// is hereby granted without fee, provided that the above copyright
    29	// notice appears in all copies, and that both that copyright notice
    30	// and this permission notice appear in supporting documentation. None
    31	// of the above authors, nor IBM Haifa Research Laboratories, make any
    32	// representation about the suitability of this software for any
    33	// purpose. It is provided "as is" without express or implied
    34	// warranty.
    35	
    36	/**
    37	 * @file rc_binomial_heap_/debug_fn_imps.hpp
    38	 * Contains an implementation for rc_binomial_heap_.
    39	 */
    40	
    41	#ifdef PB_DS_CLASS_C_DEC
    42	
    43	#ifdef _GLIBCXX_DEBUG
    44	
    45	PB_DS_CLASS_T_DEC
    46	void
    47	PB_DS_CLASS_C_DEC::
    48	assert_valid(const char* __file, int __line) const
    49	{
    50	  base_type::assert_valid(false, __file, __line);
    51	  if (!base_type::empty())
    52	    {
    53	      PB_DS_DEBUG_VERIFY(base_type::m_p_max != 0);
    54	      base_type::assert_max(__file, __line);
    55	    }
    56	
    57	  m_rc.assert_valid(__file, __line);
    58	
    59	  if (m_rc.empty())
    60	    {
    61	      base_type::assert_valid(true, __file, __line);
    62	      PB_DS_DEBUG_VERIFY(next_2_pointer(base_type::m_p_root) == 0);
    63	      return;
    64	    }
    65	
    66	  node_const_pointer p_nd = next_2_pointer(base_type::m_p_root);
    67	  typename rc_t::const_iterator it = m_rc.end();
    68	  --it;
    69	
    70	  while (p_nd != 0)
    71	    {
    72	      PB_DS_DEBUG_VERIFY(*it == p_nd);
    73	      node_const_pointer p_next = p_nd->m_p_next_sibling;
    74	      PB_DS_DEBUG_VERIFY(p_next != 0);
    75	      PB_DS_DEBUG_VERIFY(p_nd->m_metadata == p_next->m_metadata);
    76	      PB_DS_DEBUG_VERIFY(p_next->m_p_next_sibling == 0 ||
    77			       p_next->m_metadata < p_next->m_p_next_sibling->m_metadata);
    78	
    79	      --it;
    80	      p_nd = next_2_pointer(next_after_0_pointer(p_nd));
    81	    }
    82	  PB_DS_DEBUG_VERIFY(it + 1 == m_rc.begin());
    83	}
    84	
    85	PB_DS_CLASS_T_DEC
    86	typename PB_DS_CLASS_C_DEC::node_const_pointer
    87	PB_DS_CLASS_C_DEC::
    88	next_2_pointer(node_const_pointer p_nd)
    89	{
    90	  if (p_nd == 0)
    91	    return 0;
    92	
    93	  node_pointer p_next = p_nd->m_p_next_sibling;
    94	
    95	  if (p_next == 0)
    96	    return 0;
    97	
    98	  if (p_nd->m_metadata == p_next->m_metadata)
    99	    return p_nd;
   100	
   101	  return next_2_pointer(p_next);
   102	}
   103	
   104	PB_DS_CLASS_T_DEC
   105	typename PB_DS_CLASS_C_DEC::node_const_pointer
   106	PB_DS_CLASS_C_DEC::
   107	next_after_0_pointer(node_const_pointer p_nd)
   108	{
   109	  if (p_nd == 0)
   110	    return 0;
   111	
   112	  node_pointer p_next = p_nd->m_p_next_sibling;
   113	
   114	  if (p_next == 0)
   115	    return 0;
   116	
   117	  if (p_nd->m_metadata < p_next->m_metadata)
   118	    return p_next;
   119	
   120	  return next_after_0_pointer(p_next);
   121	}
   122	
   123	#endif 
   124	#endif