libstdc++-v3/include/ext/pb_ds/priority_queue.hpp

   1 // -*- C++ -*-
   2
   3 // Copyright (C) 2005-2020 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 priority_queue.hpp
  38  * Contains priority_queues.
  39  */
  40
  41 #ifndef PB_DS_PRIORITY_QUEUE_HPP
  42 #define PB_DS_PRIORITY_QUEUE_HPP
  43
  44 #include <bits/c++config.h>
  45 #include <ext/pb_ds/tag_and_trait.hpp>
  46 #include <ext/pb_ds/detail/priority_queue_base_dispatch.hpp>
  47 #include <ext/pb_ds/detail/standard_policies.hpp>
  48
  49 namespace __gnu_pbds
  50 {
  51   /**
  52    *  @defgroup heap-based Heap-Based
  53    *  @ingroup containers-pbds
  54    *  @{
  55    */
  56
  57   /**
  58    *  @defgroup heap-detail Base and Policy Classes
  59    *  @ingroup heap-based
  60    */
  61
  62   /**
  63    *  A priority queue composed of one specific heap policy.
  64    *
  65    *  @tparam _Tv               Value type.
  66    *  @tparam Cmp_Fn            Comparison functor.
  67    *  @tparam Tag               Instantiating data structure type,
  68    *                            see container_tag.
  69    *  @tparam _Alloc            Allocator type.
  70    *
  71    *  Base is dispatched at compile time via Tag, from the following
  72    *  choices: binary_heap_tag, binomial_heap_tag, pairing_heap_tag,
  73    *           rc_binomial_heap_tag, thin_heap_tag
  74    *
  75    *  Base choices are: detail::binary_heap, detail::binomial_heap,
  76    *                    detail::pairing_heap, detail::rc_binomial_heap,
  77    *                    detail::thin_heap.
  78    */
  79    template<typename _Tv,
  80            typename Cmp_Fn = std::less<_Tv>,
  81            typename Tag = pairing_heap_tag,
  82            typename _Alloc = std::allocator<char> >
  83   class priority_queue
  84   : public detail::container_base_dispatch<_Tv, Cmp_Fn, _Alloc, Tag>::type
  85   {
  86   public:
  87     typedef _Tv                                         value_type;
  88     typedef Cmp_Fn                                      cmp_fn;
  89     typedef Tag                                         container_category;
  90     typedef _Alloc                                      allocator_type;
  91     typedef typename allocator_type::size_type          size_type;
  92     typedef typename allocator_type::difference_type    difference_type;
  93
  94   private:
  95     typedef typename detail::container_base_dispatch<_Tv, Cmp_Fn, _Alloc,
  96                                                      Tag>::type
  97                                                         base_type;
  98     typedef detail::rebind_traits<_Alloc, _Tv>          __rebind_va;
  99
 100  public:
 101     typedef typename __rebind_va::reference             reference;
 102     typedef typename __rebind_va::const_reference       const_reference;
 103     typedef typename __rebind_va::pointer               pointer;
 104     typedef typename __rebind_va::const_pointer         const_pointer;
 105
 106     typedef typename base_type::point_iterator          point_iterator;
 107     typedef typename base_type::point_const_iterator    point_const_iterator;
 108     typedef typename base_type::iterator                iterator;
 109     typedef typename base_type::const_iterator          const_iterator;
 110
 111     priority_queue() { }
 112
 113     /// Constructor taking some policy objects. r_cmp_fn will be
 114     /// copied by the Cmp_Fn object of the container object.
 115     priority_queue(const cmp_fn& r_cmp_fn) : base_type(r_cmp_fn) { }
 116
 117     /// Constructor taking __iterators to a range of value_types. The
 118     /// value_types between first_it and last_it will be inserted into
 119     /// the container object.
 120     template<typename It>
 121     priority_queue(It first_it, It last_it)
 122     { base_type::copy_from_range(first_it, last_it); }
 123
 124     /// Constructor taking __iterators to a range of value_types and
 125     /// some policy objects The value_types between first_it and
 126     /// last_it will be inserted into the container object. r_cmp_fn
 127     /// will be copied by the cmp_fn object of the container object.
 128     template<typename It>
 129     priority_queue(It first_it, It last_it, const cmp_fn& r_cmp_fn)
 130     : base_type(r_cmp_fn)
 131     { base_type::copy_from_range(first_it, last_it); }
 132
 133     priority_queue(const priority_queue& other)
 134     : base_type((const base_type& )other) { }
 135
 136     virtual
 137     ~priority_queue() { }
 138
 139     priority_queue&
 140     operator=(const priority_queue& other)
 141     {
 142       if (this != &other)
 143         {
 144           priority_queue tmp(other);
 145           swap(tmp);
 146         }
 147       return *this;
 148     }
 149
 150     void
 151     swap(priority_queue& other)
 152     { base_type::swap(other); }
 153   };
 154 } // namespace __gnu_pbds
 155  //@} heap-based
 156 #endif