1169691Skan// -*- C++ -*- 2169691Skan 3169691Skan// Copyright (C) 2005, 2006 Free Software Foundation, Inc. 4169691Skan// 5169691Skan// This file is part of the GNU ISO C++ Library. This library is free 6169691Skan// software; you can redistribute it and/or modify it under the terms 7169691Skan// of the GNU General Public License as published by the Free Software 8169691Skan// Foundation; either version 2, or (at your option) any later 9169691Skan// version. 10169691Skan 11169691Skan// This library is distributed in the hope that it will be useful, but 12169691Skan// WITHOUT ANY WARRANTY; without even the implied warranty of 13169691Skan// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 14169691Skan// General Public License for more details. 15169691Skan 16169691Skan// You should have received a copy of the GNU General Public License 17169691Skan// along with this library; see the file COPYING. If not, write to 18169691Skan// the Free Software Foundation, 59 Temple Place - Suite 330, Boston, 19169691Skan// MA 02111-1307, USA. 20169691Skan 21169691Skan// As a special exception, you may use this file as part of a free 22169691Skan// software library without restriction. Specifically, if other files 23169691Skan// instantiate templates or use macros or inline functions from this 24169691Skan// file, or you compile this file and link it with other files to 25169691Skan// produce an executable, this file does not by itself cause the 26169691Skan// resulting executable to be covered by the GNU General Public 27169691Skan// License. This exception does not however invalidate any other 28169691Skan// reasons why the executable file might be covered by the GNU General 29169691Skan// Public License. 30169691Skan 31169691Skan// Copyright (C) 2004 Ami Tavory and Vladimir Dreizin, IBM-HRL. 32169691Skan 33169691Skan// Permission to use, copy, modify, sell, and distribute this software 34169691Skan// is hereby granted without fee, provided that the above copyright 35169691Skan// notice appears in all copies, and that both that copyright notice 36169691Skan// and this permission notice appear in supporting documentation. None 37169691Skan// of the above authors, nor IBM Haifa Research Laboratories, make any 38169691Skan// representation about the suitability of this software for any 39169691Skan// purpose. It is provided "as is" without express or implied 40169691Skan// warranty. 41169691Skan 42169691Skan/** 43169691Skan * @file pairing_heap_.hpp 44169691Skan * Contains an implementation class for a pairing heap. 45169691Skan */ 46169691Skan 47169691Skan/* 48169691Skan * Pairing heap: 49169691Skan * Michael L. Fredman, Robert Sedgewick, Daniel Dominic Sleator, 50169691Skan * and Robert Endre Tarjan, The Pairing Heap: 51169691Skan * A New Form of Self-Adjusting Heap, Algorithmica, 1(1):111-129, 1986. 52169691Skan */ 53169691Skan 54169691Skan#include <ext/pb_ds/detail/cond_dealtor.hpp> 55169691Skan#include <ext/pb_ds/detail/type_utils.hpp> 56169691Skan#include <ext/pb_ds/detail/left_child_next_sibling_heap_/left_child_next_sibling_heap_.hpp> 57169691Skan#include <ext/pb_ds/detail/left_child_next_sibling_heap_/null_metadata.hpp> 58169691Skan#include <debug/debug.h> 59169691Skan 60169691Skannamespace pb_ds 61169691Skan{ 62169691Skan namespace detail 63169691Skan { 64169691Skan 65169691Skan#define PB_DS_CLASS_T_DEC \ 66169691Skan template<typename Value_Type, class Cmp_Fn, class Allocator> 67169691Skan 68169691Skan#define PB_DS_CLASS_C_DEC \ 69169691Skan pairing_heap_<Value_Type, Cmp_Fn, Allocator> 70169691Skan 71169691Skan#ifdef _GLIBCXX_DEBUG 72169691Skan#define PB_DS_BASE_C_DEC \ 73169691Skan left_child_next_sibling_heap_< \ 74169691Skan Value_Type, \ 75169691Skan Cmp_Fn, \ 76169691Skan null_left_child_next_sibling_heap_node_metadata, \ 77169691Skan Allocator, \ 78169691Skan false> 79169691Skan#else 80169691Skan#define PB_DS_BASE_C_DEC \ 81169691Skan left_child_next_sibling_heap_< \ 82169691Skan Value_Type, \ 83169691Skan Cmp_Fn, \ 84169691Skan null_left_child_next_sibling_heap_node_metadata, \ 85169691Skan Allocator> 86169691Skan#endif 87169691Skan 88169691Skan /** 89169691Skan * class description = "P4ri|\|g h3ap$"> 90169691Skan **/ 91169691Skan template<typename Value_Type, class Cmp_Fn, class Allocator> 92169691Skan class pairing_heap_ : public PB_DS_BASE_C_DEC 93169691Skan { 94169691Skan 95169691Skan private: 96169691Skan typedef PB_DS_BASE_C_DEC base_type; 97169691Skan 98169691Skan typedef typename base_type::node_pointer node_pointer; 99169691Skan 100169691Skan public: 101169691Skan 102169691Skan typedef typename Allocator::size_type size_type; 103169691Skan 104169691Skan typedef typename Allocator::difference_type difference_type; 105169691Skan 106169691Skan typedef Value_Type value_type; 107169691Skan 108169691Skan typedef 109169691Skan typename Allocator::template rebind< 110169691Skan value_type>::other::pointer 111169691Skan pointer; 112169691Skan 113169691Skan typedef 114169691Skan typename Allocator::template rebind< 115169691Skan value_type>::other::const_pointer 116169691Skan const_pointer; 117169691Skan 118169691Skan typedef 119169691Skan typename Allocator::template rebind< 120169691Skan value_type>::other::reference 121169691Skan reference; 122169691Skan 123169691Skan typedef 124169691Skan typename Allocator::template rebind< 125169691Skan value_type>::other::const_reference 126169691Skan const_reference; 127169691Skan 128169691Skan typedef 129169691Skan typename PB_DS_BASE_C_DEC::const_point_iterator 130169691Skan const_point_iterator; 131169691Skan 132169691Skan typedef typename PB_DS_BASE_C_DEC::point_iterator point_iterator; 133169691Skan 134169691Skan typedef typename PB_DS_BASE_C_DEC::const_iterator const_iterator; 135169691Skan 136169691Skan typedef typename PB_DS_BASE_C_DEC::iterator iterator; 137169691Skan 138169691Skan typedef Cmp_Fn cmp_fn; 139169691Skan 140169691Skan typedef Allocator allocator; 141169691Skan 142169691Skan 143169691Skan pairing_heap_(); 144169691Skan 145169691Skan pairing_heap_(const Cmp_Fn& r_cmp_fn); 146169691Skan 147169691Skan pairing_heap_(const PB_DS_CLASS_C_DEC& other); 148169691Skan 149169691Skan void 150169691Skan swap(PB_DS_CLASS_C_DEC& other); 151169691Skan 152169691Skan ~pairing_heap_(); 153169691Skan 154169691Skan inline point_iterator 155169691Skan push(const_reference r_val); 156169691Skan 157169691Skan void 158169691Skan modify(point_iterator it, const_reference r_new_val); 159169691Skan 160169691Skan inline const_reference 161169691Skan top() const; 162169691Skan 163169691Skan void 164169691Skan pop(); 165169691Skan 166169691Skan void 167169691Skan erase(point_iterator it); 168169691Skan 169169691Skan template<typename Pred> 170169691Skan size_type 171169691Skan erase_if(Pred pred); 172169691Skan 173169691Skan template<typename Pred> 174169691Skan void 175169691Skan split(Pred pred, PB_DS_CLASS_C_DEC& other); 176169691Skan 177169691Skan void 178169691Skan join(PB_DS_CLASS_C_DEC& other); 179169691Skan 180169691Skan protected: 181169691Skan 182169691Skan template<typename It> 183169691Skan void 184169691Skan copy_from_range(It first_it, It last_it); 185169691Skan 186169691Skan#ifdef _GLIBCXX_DEBUG 187169691Skan void 188169691Skan assert_valid() const; 189169691Skan#endif 190169691Skan 191169691Skan private: 192169691Skan 193169691Skan inline void 194169691Skan push_imp(node_pointer p_nd); 195169691Skan 196169691Skan node_pointer 197169691Skan join_node_children(node_pointer p_nd); 198169691Skan 199169691Skan node_pointer 200169691Skan forward_join(node_pointer p_nd, node_pointer p_next); 201169691Skan 202169691Skan node_pointer 203169691Skan back_join(node_pointer p_nd, node_pointer p_next); 204169691Skan 205169691Skan void 206169691Skan remove_node(node_pointer p_nd); 207169691Skan 208169691Skan }; 209169691Skan 210169691Skan#include <ext/pb_ds/detail/pairing_heap_/constructors_destructor_fn_imps.hpp> 211169691Skan#include <ext/pb_ds/detail/pairing_heap_/debug_fn_imps.hpp> 212169691Skan#include <ext/pb_ds/detail/pairing_heap_/find_fn_imps.hpp> 213169691Skan#include <ext/pb_ds/detail/pairing_heap_/insert_fn_imps.hpp> 214169691Skan#include <ext/pb_ds/detail/pairing_heap_/erase_fn_imps.hpp> 215169691Skan#include <ext/pb_ds/detail/pairing_heap_/split_join_fn_imps.hpp> 216169691Skan 217169691Skan#undef PB_DS_CLASS_C_DEC 218169691Skan#undef PB_DS_CLASS_T_DEC 219169691Skan#undef PB_DS_BASE_C_DEC 220169691Skan 221169691Skan } // namespace detail 222169691Skan} // namespace pb_ds 223