Index: gcc/libstdc++-v3/include/bits/stl_tree.h |
diff --git a/gcc/libstdc++-v3/include/bits/stl_tree.h b/gcc/libstdc++-v3/include/bits/stl_tree.h |
deleted file mode 100644 |
index 2e567360039cb114cba16a64ca3633bc4b2fea7e..0000000000000000000000000000000000000000 |
--- a/gcc/libstdc++-v3/include/bits/stl_tree.h |
+++ /dev/null |
@@ -1,1495 +0,0 @@ |
-// RB tree implementation -*- C++ -*- |
- |
-// Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009 |
-// Free Software Foundation, Inc. |
-// |
-// This file is part of the GNU ISO C++ Library. This library is free |
-// software; you can redistribute it and/or modify it under the |
-// terms of the GNU General Public License as published by the |
-// Free Software Foundation; either version 3, or (at your option) |
-// any later version. |
- |
-// This library is distributed in the hope that it will be useful, |
-// but WITHOUT ANY WARRANTY; without even the implied warranty of |
-// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
-// GNU General Public License for more details. |
- |
-// Under Section 7 of GPL version 3, you are granted additional |
-// permissions described in the GCC Runtime Library Exception, version |
-// 3.1, as published by the Free Software Foundation. |
- |
-// You should have received a copy of the GNU General Public License and |
-// a copy of the GCC Runtime Library Exception along with this program; |
-// see the files COPYING3 and COPYING.RUNTIME respectively. If not, see |
-// <http://www.gnu.org/licenses/>. |
- |
-/* |
- * |
- * Copyright (c) 1996,1997 |
- * Silicon Graphics Computer Systems, Inc. |
- * |
- * Permission to use, copy, modify, distribute and sell this software |
- * and its documentation for any purpose is hereby granted without fee, |
- * provided that the above copyright notice appear in all copies and |
- * that both that copyright notice and this permission notice appear |
- * in supporting documentation. Silicon Graphics makes no |
- * representations about the suitability of this software for any |
- * purpose. It is provided "as is" without express or implied warranty. |
- * |
- * |
- * Copyright (c) 1994 |
- * Hewlett-Packard Company |
- * |
- * Permission to use, copy, modify, distribute and sell this software |
- * and its documentation for any purpose is hereby granted without fee, |
- * provided that the above copyright notice appear in all copies and |
- * that both that copyright notice and this permission notice appear |
- * in supporting documentation. Hewlett-Packard Company makes no |
- * representations about the suitability of this software for any |
- * purpose. It is provided "as is" without express or implied warranty. |
- * |
- * |
- */ |
- |
-/** @file stl_tree.h |
- * This is an internal header file, included by other library headers. |
- * You should not attempt to use it directly. |
- */ |
- |
-#ifndef _STL_TREE_H |
-#define _STL_TREE_H 1 |
- |
-#include <bits/stl_algobase.h> |
-#include <bits/allocator.h> |
-#include <bits/stl_function.h> |
-#include <bits/cpp_type_traits.h> |
- |
-_GLIBCXX_BEGIN_NAMESPACE(std) |
- |
- // Red-black tree class, designed for use in implementing STL |
- // associative containers (set, multiset, map, and multimap). The |
- // insertion and deletion algorithms are based on those in Cormen, |
- // Leiserson, and Rivest, Introduction to Algorithms (MIT Press, |
- // 1990), except that |
- // |
- // (1) the header cell is maintained with links not only to the root |
- // but also to the leftmost node of the tree, to enable constant |
- // time begin(), and to the rightmost node of the tree, to enable |
- // linear time performance when used with the generic set algorithms |
- // (set_union, etc.) |
- // |
- // (2) when a node being deleted has two children its successor node |
- // is relinked into its place, rather than copied, so that the only |
- // iterators invalidated are those referring to the deleted node. |
- |
- enum _Rb_tree_color { _S_red = false, _S_black = true }; |
- |
- struct _Rb_tree_node_base |
- { |
- typedef _Rb_tree_node_base* _Base_ptr; |
- typedef const _Rb_tree_node_base* _Const_Base_ptr; |
- |
- _Rb_tree_color _M_color; |
- _Base_ptr _M_parent; |
- _Base_ptr _M_left; |
- _Base_ptr _M_right; |
- |
- static _Base_ptr |
- _S_minimum(_Base_ptr __x) |
- { |
- while (__x->_M_left != 0) __x = __x->_M_left; |
- return __x; |
- } |
- |
- static _Const_Base_ptr |
- _S_minimum(_Const_Base_ptr __x) |
- { |
- while (__x->_M_left != 0) __x = __x->_M_left; |
- return __x; |
- } |
- |
- static _Base_ptr |
- _S_maximum(_Base_ptr __x) |
- { |
- while (__x->_M_right != 0) __x = __x->_M_right; |
- return __x; |
- } |
- |
- static _Const_Base_ptr |
- _S_maximum(_Const_Base_ptr __x) |
- { |
- while (__x->_M_right != 0) __x = __x->_M_right; |
- return __x; |
- } |
- }; |
- |
- template<typename _Val> |
- struct _Rb_tree_node : public _Rb_tree_node_base |
- { |
- typedef _Rb_tree_node<_Val>* _Link_type; |
- _Val _M_value_field; |
- |
-#ifdef __GXX_EXPERIMENTAL_CXX0X__ |
- template<typename... _Args> |
- _Rb_tree_node(_Args&&... __args) |
- : _Rb_tree_node_base(), |
- _M_value_field(std::forward<_Args>(__args)...) { } |
-#endif |
- }; |
- |
- _Rb_tree_node_base* |
- _Rb_tree_increment(_Rb_tree_node_base* __x); |
- |
- const _Rb_tree_node_base* |
- _Rb_tree_increment(const _Rb_tree_node_base* __x); |
- |
- _Rb_tree_node_base* |
- _Rb_tree_decrement(_Rb_tree_node_base* __x); |
- |
- const _Rb_tree_node_base* |
- _Rb_tree_decrement(const _Rb_tree_node_base* __x); |
- |
- template<typename _Tp> |
- struct _Rb_tree_iterator |
- { |
- typedef _Tp value_type; |
- typedef _Tp& reference; |
- typedef _Tp* pointer; |
- |
- typedef bidirectional_iterator_tag iterator_category; |
- typedef ptrdiff_t difference_type; |
- |
- typedef _Rb_tree_iterator<_Tp> _Self; |
- typedef _Rb_tree_node_base::_Base_ptr _Base_ptr; |
- typedef _Rb_tree_node<_Tp>* _Link_type; |
- |
- _Rb_tree_iterator() |
- : _M_node() { } |
- |
- explicit |
- _Rb_tree_iterator(_Link_type __x) |
- : _M_node(__x) { } |
- |
- reference |
- operator*() const |
- { return static_cast<_Link_type>(_M_node)->_M_value_field; } |
- |
- pointer |
- operator->() const |
- { return &static_cast<_Link_type>(_M_node)->_M_value_field; } |
- |
- _Self& |
- operator++() |
- { |
- _M_node = _Rb_tree_increment(_M_node); |
- return *this; |
- } |
- |
- _Self |
- operator++(int) |
- { |
- _Self __tmp = *this; |
- _M_node = _Rb_tree_increment(_M_node); |
- return __tmp; |
- } |
- |
- _Self& |
- operator--() |
- { |
- _M_node = _Rb_tree_decrement(_M_node); |
- return *this; |
- } |
- |
- _Self |
- operator--(int) |
- { |
- _Self __tmp = *this; |
- _M_node = _Rb_tree_decrement(_M_node); |
- return __tmp; |
- } |
- |
- bool |
- operator==(const _Self& __x) const |
- { return _M_node == __x._M_node; } |
- |
- bool |
- operator!=(const _Self& __x) const |
- { return _M_node != __x._M_node; } |
- |
- _Base_ptr _M_node; |
- }; |
- |
- template<typename _Tp> |
- struct _Rb_tree_const_iterator |
- { |
- typedef _Tp value_type; |
- typedef const _Tp& reference; |
- typedef const _Tp* pointer; |
- |
- typedef _Rb_tree_iterator<_Tp> iterator; |
- |
- typedef bidirectional_iterator_tag iterator_category; |
- typedef ptrdiff_t difference_type; |
- |
- typedef _Rb_tree_const_iterator<_Tp> _Self; |
- typedef _Rb_tree_node_base::_Const_Base_ptr _Base_ptr; |
- typedef const _Rb_tree_node<_Tp>* _Link_type; |
- |
- _Rb_tree_const_iterator() |
- : _M_node() { } |
- |
- explicit |
- _Rb_tree_const_iterator(_Link_type __x) |
- : _M_node(__x) { } |
- |
- _Rb_tree_const_iterator(const iterator& __it) |
- : _M_node(__it._M_node) { } |
- |
- reference |
- operator*() const |
- { return static_cast<_Link_type>(_M_node)->_M_value_field; } |
- |
- pointer |
- operator->() const |
- { return &static_cast<_Link_type>(_M_node)->_M_value_field; } |
- |
- _Self& |
- operator++() |
- { |
- _M_node = _Rb_tree_increment(_M_node); |
- return *this; |
- } |
- |
- _Self |
- operator++(int) |
- { |
- _Self __tmp = *this; |
- _M_node = _Rb_tree_increment(_M_node); |
- return __tmp; |
- } |
- |
- _Self& |
- operator--() |
- { |
- _M_node = _Rb_tree_decrement(_M_node); |
- return *this; |
- } |
- |
- _Self |
- operator--(int) |
- { |
- _Self __tmp = *this; |
- _M_node = _Rb_tree_decrement(_M_node); |
- return __tmp; |
- } |
- |
- bool |
- operator==(const _Self& __x) const |
- { return _M_node == __x._M_node; } |
- |
- bool |
- operator!=(const _Self& __x) const |
- { return _M_node != __x._M_node; } |
- |
- _Base_ptr _M_node; |
- }; |
- |
- template<typename _Val> |
- inline bool |
- operator==(const _Rb_tree_iterator<_Val>& __x, |
- const _Rb_tree_const_iterator<_Val>& __y) |
- { return __x._M_node == __y._M_node; } |
- |
- template<typename _Val> |
- inline bool |
- operator!=(const _Rb_tree_iterator<_Val>& __x, |
- const _Rb_tree_const_iterator<_Val>& __y) |
- { return __x._M_node != __y._M_node; } |
- |
- void |
- _Rb_tree_insert_and_rebalance(const bool __insert_left, |
- _Rb_tree_node_base* __x, |
- _Rb_tree_node_base* __p, |
- _Rb_tree_node_base& __header); |
- |
- _Rb_tree_node_base* |
- _Rb_tree_rebalance_for_erase(_Rb_tree_node_base* const __z, |
- _Rb_tree_node_base& __header); |
- |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc = allocator<_Val> > |
- class _Rb_tree |
- { |
- typedef typename _Alloc::template rebind<_Rb_tree_node<_Val> >::other |
- _Node_allocator; |
- |
- protected: |
- typedef _Rb_tree_node_base* _Base_ptr; |
- typedef const _Rb_tree_node_base* _Const_Base_ptr; |
- |
- public: |
- typedef _Key key_type; |
- typedef _Val value_type; |
- typedef value_type* pointer; |
- typedef const value_type* const_pointer; |
- typedef value_type& reference; |
- typedef const value_type& const_reference; |
- typedef _Rb_tree_node<_Val>* _Link_type; |
- typedef const _Rb_tree_node<_Val>* _Const_Link_type; |
- typedef size_t size_type; |
- typedef ptrdiff_t difference_type; |
- typedef _Alloc allocator_type; |
- |
- _Node_allocator& |
- _M_get_Node_allocator() |
- { return *static_cast<_Node_allocator*>(&this->_M_impl); } |
- |
- const _Node_allocator& |
- _M_get_Node_allocator() const |
- { return *static_cast<const _Node_allocator*>(&this->_M_impl); } |
- |
- allocator_type |
- get_allocator() const |
- { return allocator_type(_M_get_Node_allocator()); } |
- |
- protected: |
- _Link_type |
- _M_get_node() |
- { return _M_impl._Node_allocator::allocate(1); } |
- |
- void |
- _M_put_node(_Link_type __p) |
- { _M_impl._Node_allocator::deallocate(__p, 1); } |
- |
-#ifndef __GXX_EXPERIMENTAL_CXX0X__ |
- _Link_type |
- _M_create_node(const value_type& __x) |
- { |
- _Link_type __tmp = _M_get_node(); |
- __try |
- { get_allocator().construct(&__tmp->_M_value_field, __x); } |
- __catch(...) |
- { |
- _M_put_node(__tmp); |
- __throw_exception_again; |
- } |
- return __tmp; |
- } |
- |
- void |
- _M_destroy_node(_Link_type __p) |
- { |
- get_allocator().destroy(&__p->_M_value_field); |
- _M_put_node(__p); |
- } |
-#else |
- template<typename... _Args> |
- _Link_type |
- _M_create_node(_Args&&... __args) |
- { |
- _Link_type __tmp = _M_get_node(); |
- __try |
- { |
- _M_get_Node_allocator().construct(__tmp, |
- std::forward<_Args>(__args)...); |
- } |
- __catch(...) |
- { |
- _M_put_node(__tmp); |
- __throw_exception_again; |
- } |
- return __tmp; |
- } |
- |
- void |
- _M_destroy_node(_Link_type __p) |
- { |
- _M_get_Node_allocator().destroy(__p); |
- _M_put_node(__p); |
- } |
-#endif |
- |
- _Link_type |
- _M_clone_node(_Const_Link_type __x) |
- { |
- _Link_type __tmp = _M_create_node(__x->_M_value_field); |
- __tmp->_M_color = __x->_M_color; |
- __tmp->_M_left = 0; |
- __tmp->_M_right = 0; |
- return __tmp; |
- } |
- |
- protected: |
- template<typename _Key_compare, |
- bool _Is_pod_comparator = __is_pod(_Key_compare)> |
- struct _Rb_tree_impl : public _Node_allocator |
- { |
- _Key_compare _M_key_compare; |
- _Rb_tree_node_base _M_header; |
- size_type _M_node_count; // Keeps track of size of tree. |
- |
- _Rb_tree_impl() |
- : _Node_allocator(), _M_key_compare(), _M_header(), |
- _M_node_count(0) |
- { _M_initialize(); } |
- |
- _Rb_tree_impl(const _Key_compare& __comp, const _Node_allocator& __a) |
- : _Node_allocator(__a), _M_key_compare(__comp), _M_header(), |
- _M_node_count(0) |
- { _M_initialize(); } |
- |
- private: |
- void |
- _M_initialize() |
- { |
- this->_M_header._M_color = _S_red; |
- this->_M_header._M_parent = 0; |
- this->_M_header._M_left = &this->_M_header; |
- this->_M_header._M_right = &this->_M_header; |
- } |
- }; |
- |
- _Rb_tree_impl<_Compare> _M_impl; |
- |
- protected: |
- _Base_ptr& |
- _M_root() |
- { return this->_M_impl._M_header._M_parent; } |
- |
- _Const_Base_ptr |
- _M_root() const |
- { return this->_M_impl._M_header._M_parent; } |
- |
- _Base_ptr& |
- _M_leftmost() |
- { return this->_M_impl._M_header._M_left; } |
- |
- _Const_Base_ptr |
- _M_leftmost() const |
- { return this->_M_impl._M_header._M_left; } |
- |
- _Base_ptr& |
- _M_rightmost() |
- { return this->_M_impl._M_header._M_right; } |
- |
- _Const_Base_ptr |
- _M_rightmost() const |
- { return this->_M_impl._M_header._M_right; } |
- |
- _Link_type |
- _M_begin() |
- { return static_cast<_Link_type>(this->_M_impl._M_header._M_parent); } |
- |
- _Const_Link_type |
- _M_begin() const |
- { |
- return static_cast<_Const_Link_type> |
- (this->_M_impl._M_header._M_parent); |
- } |
- |
- _Link_type |
- _M_end() |
- { return static_cast<_Link_type>(&this->_M_impl._M_header); } |
- |
- _Const_Link_type |
- _M_end() const |
- { return static_cast<_Const_Link_type>(&this->_M_impl._M_header); } |
- |
- static const_reference |
- _S_value(_Const_Link_type __x) |
- { return __x->_M_value_field; } |
- |
- static const _Key& |
- _S_key(_Const_Link_type __x) |
- { return _KeyOfValue()(_S_value(__x)); } |
- |
- static _Link_type |
- _S_left(_Base_ptr __x) |
- { return static_cast<_Link_type>(__x->_M_left); } |
- |
- static _Const_Link_type |
- _S_left(_Const_Base_ptr __x) |
- { return static_cast<_Const_Link_type>(__x->_M_left); } |
- |
- static _Link_type |
- _S_right(_Base_ptr __x) |
- { return static_cast<_Link_type>(__x->_M_right); } |
- |
- static _Const_Link_type |
- _S_right(_Const_Base_ptr __x) |
- { return static_cast<_Const_Link_type>(__x->_M_right); } |
- |
- static const_reference |
- _S_value(_Const_Base_ptr __x) |
- { return static_cast<_Const_Link_type>(__x)->_M_value_field; } |
- |
- static const _Key& |
- _S_key(_Const_Base_ptr __x) |
- { return _KeyOfValue()(_S_value(__x)); } |
- |
- static _Base_ptr |
- _S_minimum(_Base_ptr __x) |
- { return _Rb_tree_node_base::_S_minimum(__x); } |
- |
- static _Const_Base_ptr |
- _S_minimum(_Const_Base_ptr __x) |
- { return _Rb_tree_node_base::_S_minimum(__x); } |
- |
- static _Base_ptr |
- _S_maximum(_Base_ptr __x) |
- { return _Rb_tree_node_base::_S_maximum(__x); } |
- |
- static _Const_Base_ptr |
- _S_maximum(_Const_Base_ptr __x) |
- { return _Rb_tree_node_base::_S_maximum(__x); } |
- |
- public: |
- typedef _Rb_tree_iterator<value_type> iterator; |
- typedef _Rb_tree_const_iterator<value_type> const_iterator; |
- |
- typedef std::reverse_iterator<iterator> reverse_iterator; |
- typedef std::reverse_iterator<const_iterator> const_reverse_iterator; |
- |
- private: |
- iterator |
- _M_insert_(_Const_Base_ptr __x, _Const_Base_ptr __y, |
- const value_type& __v); |
- |
- // _GLIBCXX_RESOLVE_LIB_DEFECTS |
- // 233. Insertion hints in associative containers. |
- iterator |
- _M_insert_lower(_Base_ptr __x, _Base_ptr __y, const value_type& __v); |
- |
- iterator |
- _M_insert_equal_lower(const value_type& __x); |
- |
- _Link_type |
- _M_copy(_Const_Link_type __x, _Link_type __p); |
- |
- void |
- _M_erase(_Link_type __x); |
- |
- iterator |
- _M_lower_bound(_Link_type __x, _Link_type __y, |
- const _Key& __k); |
- |
- const_iterator |
- _M_lower_bound(_Const_Link_type __x, _Const_Link_type __y, |
- const _Key& __k) const; |
- |
- iterator |
- _M_upper_bound(_Link_type __x, _Link_type __y, |
- const _Key& __k); |
- |
- const_iterator |
- _M_upper_bound(_Const_Link_type __x, _Const_Link_type __y, |
- const _Key& __k) const; |
- |
- public: |
- // allocation/deallocation |
- _Rb_tree() { } |
- |
- _Rb_tree(const _Compare& __comp, |
- const allocator_type& __a = allocator_type()) |
- : _M_impl(__comp, __a) { } |
- |
- _Rb_tree(const _Rb_tree& __x) |
- : _M_impl(__x._M_impl._M_key_compare, __x._M_get_Node_allocator()) |
- { |
- if (__x._M_root() != 0) |
- { |
- _M_root() = _M_copy(__x._M_begin(), _M_end()); |
- _M_leftmost() = _S_minimum(_M_root()); |
- _M_rightmost() = _S_maximum(_M_root()); |
- _M_impl._M_node_count = __x._M_impl._M_node_count; |
- } |
- } |
- |
-#ifdef __GXX_EXPERIMENTAL_CXX0X__ |
- _Rb_tree(_Rb_tree&& __x); |
-#endif |
- |
- ~_Rb_tree() |
- { _M_erase(_M_begin()); } |
- |
- _Rb_tree& |
- operator=(const _Rb_tree& __x); |
- |
- // Accessors. |
- _Compare |
- key_comp() const |
- { return _M_impl._M_key_compare; } |
- |
- iterator |
- begin() |
- { |
- return iterator(static_cast<_Link_type> |
- (this->_M_impl._M_header._M_left)); |
- } |
- |
- const_iterator |
- begin() const |
- { |
- return const_iterator(static_cast<_Const_Link_type> |
- (this->_M_impl._M_header._M_left)); |
- } |
- |
- iterator |
- end() |
- { return iterator(static_cast<_Link_type>(&this->_M_impl._M_header)); } |
- |
- const_iterator |
- end() const |
- { |
- return const_iterator(static_cast<_Const_Link_type> |
- (&this->_M_impl._M_header)); |
- } |
- |
- reverse_iterator |
- rbegin() |
- { return reverse_iterator(end()); } |
- |
- const_reverse_iterator |
- rbegin() const |
- { return const_reverse_iterator(end()); } |
- |
- reverse_iterator |
- rend() |
- { return reverse_iterator(begin()); } |
- |
- const_reverse_iterator |
- rend() const |
- { return const_reverse_iterator(begin()); } |
- |
- bool |
- empty() const |
- { return _M_impl._M_node_count == 0; } |
- |
- size_type |
- size() const |
- { return _M_impl._M_node_count; } |
- |
- size_type |
- max_size() const |
- { return _M_get_Node_allocator().max_size(); } |
- |
- void |
-#ifdef __GXX_EXPERIMENTAL_CXX0X__ |
- swap(_Rb_tree&& __t); |
-#else |
- swap(_Rb_tree& __t); |
-#endif |
- |
- // Insert/erase. |
- pair<iterator, bool> |
- _M_insert_unique(const value_type& __x); |
- |
- iterator |
- _M_insert_equal(const value_type& __x); |
- |
- iterator |
- _M_insert_unique_(const_iterator __position, const value_type& __x); |
- |
- iterator |
- _M_insert_equal_(const_iterator __position, const value_type& __x); |
- |
- template<typename _InputIterator> |
- void |
- _M_insert_unique(_InputIterator __first, _InputIterator __last); |
- |
- template<typename _InputIterator> |
- void |
- _M_insert_equal(_InputIterator __first, _InputIterator __last); |
- |
- void |
- erase(iterator __position); |
- |
- void |
- erase(const_iterator __position); |
- |
- size_type |
- erase(const key_type& __x); |
- |
- void |
- erase(iterator __first, iterator __last); |
- |
- void |
- erase(const_iterator __first, const_iterator __last); |
- |
- void |
- erase(const key_type* __first, const key_type* __last); |
- |
- void |
- clear() |
- { |
- _M_erase(_M_begin()); |
- _M_leftmost() = _M_end(); |
- _M_root() = 0; |
- _M_rightmost() = _M_end(); |
- _M_impl._M_node_count = 0; |
- } |
- |
- // Set operations. |
- iterator |
- find(const key_type& __k); |
- |
- const_iterator |
- find(const key_type& __k) const; |
- |
- size_type |
- count(const key_type& __k) const; |
- |
- iterator |
- lower_bound(const key_type& __k) |
- { return _M_lower_bound(_M_begin(), _M_end(), __k); } |
- |
- const_iterator |
- lower_bound(const key_type& __k) const |
- { return _M_lower_bound(_M_begin(), _M_end(), __k); } |
- |
- iterator |
- upper_bound(const key_type& __k) |
- { return _M_upper_bound(_M_begin(), _M_end(), __k); } |
- |
- const_iterator |
- upper_bound(const key_type& __k) const |
- { return _M_upper_bound(_M_begin(), _M_end(), __k); } |
- |
- pair<iterator, iterator> |
- equal_range(const key_type& __k); |
- |
- pair<const_iterator, const_iterator> |
- equal_range(const key_type& __k) const; |
- |
- // Debugging. |
- bool |
- __rb_verify() const; |
- }; |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- inline bool |
- operator==(const _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>& __x, |
- const _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>& __y) |
- { |
- return __x.size() == __y.size() |
- && std::equal(__x.begin(), __x.end(), __y.begin()); |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- inline bool |
- operator<(const _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>& __x, |
- const _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>& __y) |
- { |
- return std::lexicographical_compare(__x.begin(), __x.end(), |
- __y.begin(), __y.end()); |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- inline bool |
- operator!=(const _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>& __x, |
- const _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>& __y) |
- { return !(__x == __y); } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- inline bool |
- operator>(const _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>& __x, |
- const _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>& __y) |
- { return __y < __x; } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- inline bool |
- operator<=(const _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>& __x, |
- const _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>& __y) |
- { return !(__y < __x); } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- inline bool |
- operator>=(const _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>& __x, |
- const _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>& __y) |
- { return !(__x < __y); } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- inline void |
- swap(_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>& __x, |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>& __y) |
- { __x.swap(__y); } |
- |
-#ifdef __GXX_EXPERIMENTAL_CXX0X__ |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- _Rb_tree(_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>&& __x) |
- : _M_impl(__x._M_impl._M_key_compare, __x._M_get_Node_allocator()) |
- { |
- if (__x._M_root() != 0) |
- { |
- _M_root() = __x._M_root(); |
- _M_leftmost() = __x._M_leftmost(); |
- _M_rightmost() = __x._M_rightmost(); |
- _M_root()->_M_parent = _M_end(); |
- |
- __x._M_root() = 0; |
- __x._M_leftmost() = __x._M_end(); |
- __x._M_rightmost() = __x._M_end(); |
- |
- this->_M_impl._M_node_count = __x._M_impl._M_node_count; |
- __x._M_impl._M_node_count = 0; |
- } |
- } |
-#endif |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>& |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- operator=(const _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>& __x) |
- { |
- if (this != &__x) |
- { |
- // Note that _Key may be a constant type. |
- clear(); |
- _M_impl._M_key_compare = __x._M_impl._M_key_compare; |
- if (__x._M_root() != 0) |
- { |
- _M_root() = _M_copy(__x._M_begin(), _M_end()); |
- _M_leftmost() = _S_minimum(_M_root()); |
- _M_rightmost() = _S_maximum(_M_root()); |
- _M_impl._M_node_count = __x._M_impl._M_node_count; |
- } |
- } |
- return *this; |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- typename _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::iterator |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- _M_insert_(_Const_Base_ptr __x, _Const_Base_ptr __p, const _Val& __v) |
- { |
- bool __insert_left = (__x != 0 || __p == _M_end() |
- || _M_impl._M_key_compare(_KeyOfValue()(__v), |
- _S_key(__p))); |
- |
- _Link_type __z = _M_create_node(__v); |
- |
- _Rb_tree_insert_and_rebalance(__insert_left, __z, |
- const_cast<_Base_ptr>(__p), |
- this->_M_impl._M_header); |
- ++_M_impl._M_node_count; |
- return iterator(__z); |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- typename _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::iterator |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- _M_insert_lower(_Base_ptr __x, _Base_ptr __p, const _Val& __v) |
- { |
- bool __insert_left = (__x != 0 || __p == _M_end() |
- || !_M_impl._M_key_compare(_S_key(__p), |
- _KeyOfValue()(__v))); |
- |
- _Link_type __z = _M_create_node(__v); |
- |
- _Rb_tree_insert_and_rebalance(__insert_left, __z, __p, |
- this->_M_impl._M_header); |
- ++_M_impl._M_node_count; |
- return iterator(__z); |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- typename _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::iterator |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- _M_insert_equal_lower(const _Val& __v) |
- { |
- _Link_type __x = _M_begin(); |
- _Link_type __y = _M_end(); |
- while (__x != 0) |
- { |
- __y = __x; |
- __x = !_M_impl._M_key_compare(_S_key(__x), _KeyOfValue()(__v)) ? |
- _S_left(__x) : _S_right(__x); |
- } |
- return _M_insert_lower(__x, __y, __v); |
- } |
- |
- template<typename _Key, typename _Val, typename _KoV, |
- typename _Compare, typename _Alloc> |
- typename _Rb_tree<_Key, _Val, _KoV, _Compare, _Alloc>::_Link_type |
- _Rb_tree<_Key, _Val, _KoV, _Compare, _Alloc>:: |
- _M_copy(_Const_Link_type __x, _Link_type __p) |
- { |
- // Structural copy. __x and __p must be non-null. |
- _Link_type __top = _M_clone_node(__x); |
- __top->_M_parent = __p; |
- |
- __try |
- { |
- if (__x->_M_right) |
- __top->_M_right = _M_copy(_S_right(__x), __top); |
- __p = __top; |
- __x = _S_left(__x); |
- |
- while (__x != 0) |
- { |
- _Link_type __y = _M_clone_node(__x); |
- __p->_M_left = __y; |
- __y->_M_parent = __p; |
- if (__x->_M_right) |
- __y->_M_right = _M_copy(_S_right(__x), __y); |
- __p = __y; |
- __x = _S_left(__x); |
- } |
- } |
- __catch(...) |
- { |
- _M_erase(__top); |
- __throw_exception_again; |
- } |
- return __top; |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- void |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- _M_erase(_Link_type __x) |
- { |
- // Erase without rebalancing. |
- while (__x != 0) |
- { |
- _M_erase(_S_right(__x)); |
- _Link_type __y = _S_left(__x); |
- _M_destroy_node(__x); |
- __x = __y; |
- } |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- typename _Rb_tree<_Key, _Val, _KeyOfValue, |
- _Compare, _Alloc>::iterator |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- _M_lower_bound(_Link_type __x, _Link_type __y, |
- const _Key& __k) |
- { |
- while (__x != 0) |
- if (!_M_impl._M_key_compare(_S_key(__x), __k)) |
- __y = __x, __x = _S_left(__x); |
- else |
- __x = _S_right(__x); |
- return iterator(__y); |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- typename _Rb_tree<_Key, _Val, _KeyOfValue, |
- _Compare, _Alloc>::const_iterator |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- _M_lower_bound(_Const_Link_type __x, _Const_Link_type __y, |
- const _Key& __k) const |
- { |
- while (__x != 0) |
- if (!_M_impl._M_key_compare(_S_key(__x), __k)) |
- __y = __x, __x = _S_left(__x); |
- else |
- __x = _S_right(__x); |
- return const_iterator(__y); |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- typename _Rb_tree<_Key, _Val, _KeyOfValue, |
- _Compare, _Alloc>::iterator |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- _M_upper_bound(_Link_type __x, _Link_type __y, |
- const _Key& __k) |
- { |
- while (__x != 0) |
- if (_M_impl._M_key_compare(__k, _S_key(__x))) |
- __y = __x, __x = _S_left(__x); |
- else |
- __x = _S_right(__x); |
- return iterator(__y); |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- typename _Rb_tree<_Key, _Val, _KeyOfValue, |
- _Compare, _Alloc>::const_iterator |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- _M_upper_bound(_Const_Link_type __x, _Const_Link_type __y, |
- const _Key& __k) const |
- { |
- while (__x != 0) |
- if (_M_impl._M_key_compare(__k, _S_key(__x))) |
- __y = __x, __x = _S_left(__x); |
- else |
- __x = _S_right(__x); |
- return const_iterator(__y); |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- pair<typename _Rb_tree<_Key, _Val, _KeyOfValue, |
- _Compare, _Alloc>::iterator, |
- typename _Rb_tree<_Key, _Val, _KeyOfValue, |
- _Compare, _Alloc>::iterator> |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- equal_range(const _Key& __k) |
- { |
- _Link_type __x = _M_begin(); |
- _Link_type __y = _M_end(); |
- while (__x != 0) |
- { |
- if (_M_impl._M_key_compare(_S_key(__x), __k)) |
- __x = _S_right(__x); |
- else if (_M_impl._M_key_compare(__k, _S_key(__x))) |
- __y = __x, __x = _S_left(__x); |
- else |
- { |
- _Link_type __xu(__x), __yu(__y); |
- __y = __x, __x = _S_left(__x); |
- __xu = _S_right(__xu); |
- return pair<iterator, |
- iterator>(_M_lower_bound(__x, __y, __k), |
- _M_upper_bound(__xu, __yu, __k)); |
- } |
- } |
- return pair<iterator, iterator>(iterator(__y), |
- iterator(__y)); |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- pair<typename _Rb_tree<_Key, _Val, _KeyOfValue, |
- _Compare, _Alloc>::const_iterator, |
- typename _Rb_tree<_Key, _Val, _KeyOfValue, |
- _Compare, _Alloc>::const_iterator> |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- equal_range(const _Key& __k) const |
- { |
- _Const_Link_type __x = _M_begin(); |
- _Const_Link_type __y = _M_end(); |
- while (__x != 0) |
- { |
- if (_M_impl._M_key_compare(_S_key(__x), __k)) |
- __x = _S_right(__x); |
- else if (_M_impl._M_key_compare(__k, _S_key(__x))) |
- __y = __x, __x = _S_left(__x); |
- else |
- { |
- _Const_Link_type __xu(__x), __yu(__y); |
- __y = __x, __x = _S_left(__x); |
- __xu = _S_right(__xu); |
- return pair<const_iterator, |
- const_iterator>(_M_lower_bound(__x, __y, __k), |
- _M_upper_bound(__xu, __yu, __k)); |
- } |
- } |
- return pair<const_iterator, const_iterator>(const_iterator(__y), |
- const_iterator(__y)); |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- void |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
-#ifdef __GXX_EXPERIMENTAL_CXX0X__ |
- swap(_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>&& __t) |
-#else |
- swap(_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>& __t) |
-#endif |
- { |
- if (_M_root() == 0) |
- { |
- if (__t._M_root() != 0) |
- { |
- _M_root() = __t._M_root(); |
- _M_leftmost() = __t._M_leftmost(); |
- _M_rightmost() = __t._M_rightmost(); |
- _M_root()->_M_parent = _M_end(); |
- |
- __t._M_root() = 0; |
- __t._M_leftmost() = __t._M_end(); |
- __t._M_rightmost() = __t._M_end(); |
- } |
- } |
- else if (__t._M_root() == 0) |
- { |
- __t._M_root() = _M_root(); |
- __t._M_leftmost() = _M_leftmost(); |
- __t._M_rightmost() = _M_rightmost(); |
- __t._M_root()->_M_parent = __t._M_end(); |
- |
- _M_root() = 0; |
- _M_leftmost() = _M_end(); |
- _M_rightmost() = _M_end(); |
- } |
- else |
- { |
- std::swap(_M_root(),__t._M_root()); |
- std::swap(_M_leftmost(),__t._M_leftmost()); |
- std::swap(_M_rightmost(),__t._M_rightmost()); |
- |
- _M_root()->_M_parent = _M_end(); |
- __t._M_root()->_M_parent = __t._M_end(); |
- } |
- // No need to swap header's color as it does not change. |
- std::swap(this->_M_impl._M_node_count, __t._M_impl._M_node_count); |
- std::swap(this->_M_impl._M_key_compare, __t._M_impl._M_key_compare); |
- |
- // _GLIBCXX_RESOLVE_LIB_DEFECTS |
- // 431. Swapping containers with unequal allocators. |
- std::__alloc_swap<_Node_allocator>:: |
- _S_do_it(_M_get_Node_allocator(), __t._M_get_Node_allocator()); |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- pair<typename _Rb_tree<_Key, _Val, _KeyOfValue, |
- _Compare, _Alloc>::iterator, bool> |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- _M_insert_unique(const _Val& __v) |
- { |
- _Link_type __x = _M_begin(); |
- _Link_type __y = _M_end(); |
- bool __comp = true; |
- while (__x != 0) |
- { |
- __y = __x; |
- __comp = _M_impl._M_key_compare(_KeyOfValue()(__v), _S_key(__x)); |
- __x = __comp ? _S_left(__x) : _S_right(__x); |
- } |
- iterator __j = iterator(__y); |
- if (__comp) |
- { |
- if (__j == begin()) |
- return pair<iterator, bool>(_M_insert_(__x, __y, __v), true); |
- else |
- --__j; |
- } |
- if (_M_impl._M_key_compare(_S_key(__j._M_node), _KeyOfValue()(__v))) |
- return pair<iterator, bool>(_M_insert_(__x, __y, __v), true); |
- return pair<iterator, bool>(__j, false); |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- typename _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::iterator |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- _M_insert_equal(const _Val& __v) |
- { |
- _Link_type __x = _M_begin(); |
- _Link_type __y = _M_end(); |
- while (__x != 0) |
- { |
- __y = __x; |
- __x = _M_impl._M_key_compare(_KeyOfValue()(__v), _S_key(__x)) ? |
- _S_left(__x) : _S_right(__x); |
- } |
- return _M_insert_(__x, __y, __v); |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- typename _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::iterator |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- _M_insert_unique_(const_iterator __position, const _Val& __v) |
- { |
- // end() |
- if (__position._M_node == _M_end()) |
- { |
- if (size() > 0 |
- && _M_impl._M_key_compare(_S_key(_M_rightmost()), |
- _KeyOfValue()(__v))) |
- return _M_insert_(0, _M_rightmost(), __v); |
- else |
- return _M_insert_unique(__v).first; |
- } |
- else if (_M_impl._M_key_compare(_KeyOfValue()(__v), |
- _S_key(__position._M_node))) |
- { |
- // First, try before... |
- const_iterator __before = __position; |
- if (__position._M_node == _M_leftmost()) // begin() |
- return _M_insert_(_M_leftmost(), _M_leftmost(), __v); |
- else if (_M_impl._M_key_compare(_S_key((--__before)._M_node), |
- _KeyOfValue()(__v))) |
- { |
- if (_S_right(__before._M_node) == 0) |
- return _M_insert_(0, __before._M_node, __v); |
- else |
- return _M_insert_(__position._M_node, |
- __position._M_node, __v); |
- } |
- else |
- return _M_insert_unique(__v).first; |
- } |
- else if (_M_impl._M_key_compare(_S_key(__position._M_node), |
- _KeyOfValue()(__v))) |
- { |
- // ... then try after. |
- const_iterator __after = __position; |
- if (__position._M_node == _M_rightmost()) |
- return _M_insert_(0, _M_rightmost(), __v); |
- else if (_M_impl._M_key_compare(_KeyOfValue()(__v), |
- _S_key((++__after)._M_node))) |
- { |
- if (_S_right(__position._M_node) == 0) |
- return _M_insert_(0, __position._M_node, __v); |
- else |
- return _M_insert_(__after._M_node, __after._M_node, __v); |
- } |
- else |
- return _M_insert_unique(__v).first; |
- } |
- else |
- // Equivalent keys. |
- return iterator(static_cast<_Link_type> |
- (const_cast<_Base_ptr>(__position._M_node))); |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- typename _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::iterator |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- _M_insert_equal_(const_iterator __position, const _Val& __v) |
- { |
- // end() |
- if (__position._M_node == _M_end()) |
- { |
- if (size() > 0 |
- && !_M_impl._M_key_compare(_KeyOfValue()(__v), |
- _S_key(_M_rightmost()))) |
- return _M_insert_(0, _M_rightmost(), __v); |
- else |
- return _M_insert_equal(__v); |
- } |
- else if (!_M_impl._M_key_compare(_S_key(__position._M_node), |
- _KeyOfValue()(__v))) |
- { |
- // First, try before... |
- const_iterator __before = __position; |
- if (__position._M_node == _M_leftmost()) // begin() |
- return _M_insert_(_M_leftmost(), _M_leftmost(), __v); |
- else if (!_M_impl._M_key_compare(_KeyOfValue()(__v), |
- _S_key((--__before)._M_node))) |
- { |
- if (_S_right(__before._M_node) == 0) |
- return _M_insert_(0, __before._M_node, __v); |
- else |
- return _M_insert_(__position._M_node, |
- __position._M_node, __v); |
- } |
- else |
- return _M_insert_equal(__v); |
- } |
- else |
- { |
- // ... then try after. |
- const_iterator __after = __position; |
- if (__position._M_node == _M_rightmost()) |
- return _M_insert_(0, _M_rightmost(), __v); |
- else if (!_M_impl._M_key_compare(_S_key((++__after)._M_node), |
- _KeyOfValue()(__v))) |
- { |
- if (_S_right(__position._M_node) == 0) |
- return _M_insert_(0, __position._M_node, __v); |
- else |
- return _M_insert_(__after._M_node, __after._M_node, __v); |
- } |
- else |
- return _M_insert_equal_lower(__v); |
- } |
- } |
- |
- template<typename _Key, typename _Val, typename _KoV, |
- typename _Cmp, typename _Alloc> |
- template<class _II> |
- void |
- _Rb_tree<_Key, _Val, _KoV, _Cmp, _Alloc>:: |
- _M_insert_unique(_II __first, _II __last) |
- { |
- for (; __first != __last; ++__first) |
- _M_insert_unique_(end(), *__first); |
- } |
- |
- template<typename _Key, typename _Val, typename _KoV, |
- typename _Cmp, typename _Alloc> |
- template<class _II> |
- void |
- _Rb_tree<_Key, _Val, _KoV, _Cmp, _Alloc>:: |
- _M_insert_equal(_II __first, _II __last) |
- { |
- for (; __first != __last; ++__first) |
- _M_insert_equal_(end(), *__first); |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- inline void |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- erase(iterator __position) |
- { |
- _Link_type __y = |
- static_cast<_Link_type>(_Rb_tree_rebalance_for_erase |
- (__position._M_node, |
- this->_M_impl._M_header)); |
- _M_destroy_node(__y); |
- --_M_impl._M_node_count; |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- inline void |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- erase(const_iterator __position) |
- { |
- _Link_type __y = |
- static_cast<_Link_type>(_Rb_tree_rebalance_for_erase |
- (const_cast<_Base_ptr>(__position._M_node), |
- this->_M_impl._M_header)); |
- _M_destroy_node(__y); |
- --_M_impl._M_node_count; |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- typename _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::size_type |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- erase(const _Key& __x) |
- { |
- pair<iterator, iterator> __p = equal_range(__x); |
- const size_type __old_size = size(); |
- erase(__p.first, __p.second); |
- return __old_size - size(); |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- void |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- erase(iterator __first, iterator __last) |
- { |
- if (__first == begin() && __last == end()) |
- clear(); |
- else |
- while (__first != __last) |
- erase(__first++); |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- void |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- erase(const_iterator __first, const_iterator __last) |
- { |
- if (__first == begin() && __last == end()) |
- clear(); |
- else |
- while (__first != __last) |
- erase(__first++); |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- void |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- erase(const _Key* __first, const _Key* __last) |
- { |
- while (__first != __last) |
- erase(*__first++); |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- typename _Rb_tree<_Key, _Val, _KeyOfValue, |
- _Compare, _Alloc>::iterator |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- find(const _Key& __k) |
- { |
- iterator __j = _M_lower_bound(_M_begin(), _M_end(), __k); |
- return (__j == end() |
- || _M_impl._M_key_compare(__k, |
- _S_key(__j._M_node))) ? end() : __j; |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- typename _Rb_tree<_Key, _Val, _KeyOfValue, |
- _Compare, _Alloc>::const_iterator |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- find(const _Key& __k) const |
- { |
- const_iterator __j = _M_lower_bound(_M_begin(), _M_end(), __k); |
- return (__j == end() |
- || _M_impl._M_key_compare(__k, |
- _S_key(__j._M_node))) ? end() : __j; |
- } |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- typename _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::size_type |
- _Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>:: |
- count(const _Key& __k) const |
- { |
- pair<const_iterator, const_iterator> __p = equal_range(__k); |
- const size_type __n = std::distance(__p.first, __p.second); |
- return __n; |
- } |
- |
- unsigned int |
- _Rb_tree_black_count(const _Rb_tree_node_base* __node, |
- const _Rb_tree_node_base* __root); |
- |
- template<typename _Key, typename _Val, typename _KeyOfValue, |
- typename _Compare, typename _Alloc> |
- bool |
- _Rb_tree<_Key,_Val,_KeyOfValue,_Compare,_Alloc>::__rb_verify() const |
- { |
- if (_M_impl._M_node_count == 0 || begin() == end()) |
- return _M_impl._M_node_count == 0 && begin() == end() |
- && this->_M_impl._M_header._M_left == _M_end() |
- && this->_M_impl._M_header._M_right == _M_end(); |
- |
- unsigned int __len = _Rb_tree_black_count(_M_leftmost(), _M_root()); |
- for (const_iterator __it = begin(); __it != end(); ++__it) |
- { |
- _Const_Link_type __x = static_cast<_Const_Link_type>(__it._M_node); |
- _Const_Link_type __L = _S_left(__x); |
- _Const_Link_type __R = _S_right(__x); |
- |
- if (__x->_M_color == _S_red) |
- if ((__L && __L->_M_color == _S_red) |
- || (__R && __R->_M_color == _S_red)) |
- return false; |
- |
- if (__L && _M_impl._M_key_compare(_S_key(__x), _S_key(__L))) |
- return false; |
- if (__R && _M_impl._M_key_compare(_S_key(__R), _S_key(__x))) |
- return false; |
- |
- if (!__L && !__R && _Rb_tree_black_count(__x, _M_root()) != __len) |
- return false; |
- } |
- |
- if (_M_leftmost() != _Rb_tree_node_base::_S_minimum(_M_root())) |
- return false; |
- if (_M_rightmost() != _Rb_tree_node_base::_S_maximum(_M_root())) |
- return false; |
- return true; |
- } |
- |
-_GLIBCXX_END_NAMESPACE |
- |
-#endif |