cprover
|
#include <sorted_vector.h>
Public Types | |
typedef sorted_vector< K, bNoDuplicates, Pr, A > | Myt_ |
typedef std::vector< K, A > | Cont |
typedef Cont::allocator_type | allocator_type |
typedef Cont::size_type | size_type |
typedef Cont::difference_type | difference_type |
typedef Cont::reference | reference |
typedef Cont::const_reference | const_reference |
typedef Cont::value_type | value_type |
typedef K | key_type |
typedef Cont::iterator | iterator |
typedef Cont::const_iterator | const_iterator |
typedef Pr | key_compare |
typedef Pr | value_compare |
typedef Cont::const_reverse_iterator | const_reverse_iterator |
typedef Cont::reverse_iterator | reverse_iterator |
typedef std::pair< iterator, iterator > | Pairii_ |
typedef std::pair< const_iterator, const_iterator > | Paircc_ |
typedef std::pair< iterator, bool > | Pairib_ |
Protected Member Functions | |
iterator | Unique_ () |
iterator | InsertImpl_ (iterator p, const value_type &x) |
bool | KeyCompare_Leq_ (const K &ty0, const K &ty1) |
bool | KeyCompare_Geq_ (const K &ty0, const K &ty1) |
bool | KeyCompare_Gt_ (const K &ty0, const K &ty1) |
Protected Attributes | |
key_compare | key_compare_ |
Cont | vec_ |
Friends | |
void | swap (Myt_ &x, Myt_ &Y_) |
Definition at line 40 of file sorted_vector.h.
typedef Cont::allocator_type sorted_vector< K, bNoDuplicates, Pr, A >::allocator_type |
Definition at line 45 of file sorted_vector.h.
typedef Cont::const_iterator sorted_vector< K, bNoDuplicates, Pr, A >::const_iterator |
Definition at line 53 of file sorted_vector.h.
typedef Cont::const_reference sorted_vector< K, bNoDuplicates, Pr, A >::const_reference |
Definition at line 49 of file sorted_vector.h.
typedef Cont::const_reverse_iterator sorted_vector< K, bNoDuplicates, Pr, A >::const_reverse_iterator |
Definition at line 57 of file sorted_vector.h.
typedef std::vector<K, A> sorted_vector< K, bNoDuplicates, Pr, A >::Cont |
Definition at line 44 of file sorted_vector.h.
typedef Cont::difference_type sorted_vector< K, bNoDuplicates, Pr, A >::difference_type |
Definition at line 47 of file sorted_vector.h.
typedef Cont::iterator sorted_vector< K, bNoDuplicates, Pr, A >::iterator |
Definition at line 52 of file sorted_vector.h.
typedef Pr sorted_vector< K, bNoDuplicates, Pr, A >::key_compare |
Definition at line 54 of file sorted_vector.h.
typedef K sorted_vector< K, bNoDuplicates, Pr, A >::key_type |
Definition at line 51 of file sorted_vector.h.
typedef sorted_vector<K,bNoDuplicates,Pr,A> sorted_vector< K, bNoDuplicates, Pr, A >::Myt_ |
Definition at line 43 of file sorted_vector.h.
typedef std::pair<const_iterator, const_iterator> sorted_vector< K, bNoDuplicates, Pr, A >::Paircc_ |
Definition at line 61 of file sorted_vector.h.
typedef std::pair<iterator, bool> sorted_vector< K, bNoDuplicates, Pr, A >::Pairib_ |
Definition at line 63 of file sorted_vector.h.
typedef std::pair<iterator, iterator> sorted_vector< K, bNoDuplicates, Pr, A >::Pairii_ |
Definition at line 60 of file sorted_vector.h.
typedef Cont::reference sorted_vector< K, bNoDuplicates, Pr, A >::reference |
Definition at line 48 of file sorted_vector.h.
typedef Cont::reverse_iterator sorted_vector< K, bNoDuplicates, Pr, A >::reverse_iterator |
Definition at line 58 of file sorted_vector.h.
typedef Cont::size_type sorted_vector< K, bNoDuplicates, Pr, A >::size_type |
Definition at line 46 of file sorted_vector.h.
typedef Pr sorted_vector< K, bNoDuplicates, Pr, A >::value_compare |
Definition at line 55 of file sorted_vector.h.
typedef Cont::value_type sorted_vector< K, bNoDuplicates, Pr, A >::value_type |
Definition at line 50 of file sorted_vector.h.
|
inlineexplicit |
Definition at line 64 of file sorted_vector.h.
|
inline |
Definition at line 74 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::stable_sort().
|
inlineexplicit |
Definition at line 79 of file sorted_vector.h.
|
inline |
Definition at line 82 of file sorted_vector.h.
|
inline |
Definition at line 119 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 121 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 107 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 108 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 115 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 116 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 90 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
Referenced by sorted_vector< K, bNoDuplicates, Pr, A >::Eq_(), sorted_vector< K, bNoDuplicates, Pr, A >::equal_range(), sorted_vector< K, bNoDuplicates, Pr, A >::lower_bound(), sorted_vector< K, bNoDuplicates, Pr, A >::Lt_(), and sorted_vector< K, bNoDuplicates, Pr, A >::upper_bound().
|
inline |
Definition at line 91 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 188 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 211 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::equal_range().
|
inline |
Definition at line 105 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 92 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
Referenced by sorted_vector< K, bNoDuplicates, Pr, A >::Eq_(), sorted_vector< K, bNoDuplicates, Pr, A >::equal_range(), sorted_vector< K, bNoDuplicates, Pr, A >::find(), sorted_vector< K, bNoDuplicates, Pr, A >::insert(), sorted_vector< K, bNoDuplicates, Pr, A >::lower_bound(), sorted_vector< K, bNoDuplicates, Pr, A >::Lt_(), sorted_vector< K, bNoDuplicates, Pr, A >::stable_sort(), and sorted_vector< K, bNoDuplicates, Pr, A >::upper_bound().
|
inline |
Definition at line 93 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 190 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::begin(), sorted_vector< K, bNoDuplicates, Pr, A >::end(), and sorted_vector< K, bNoDuplicates, Pr, A >::size().
Referenced by operator==().
|
inline |
Definition at line 223 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::begin(), sorted_vector< K, bNoDuplicates, Pr, A >::end(), and sorted_vector< K, bNoDuplicates, Pr, A >::key_compare_.
Referenced by sorted_vector< K, bNoDuplicates, Pr, A >::count(), and sorted_vector< K, bNoDuplicates, Pr, A >::erase().
|
inline |
Definition at line 225 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::begin(), sorted_vector< K, bNoDuplicates, Pr, A >::end(), and sorted_vector< K, bNoDuplicates, Pr, A >::key_compare_.
|
inline |
Definition at line 178 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
Referenced by sorted_vector< K, bNoDuplicates, Pr, A >::erase(), and sorted_vector< K, bNoDuplicates, Pr, A >::stable_sort().
|
inline |
Definition at line 179 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 181 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::equal_range(), and sorted_vector< K, bNoDuplicates, Pr, A >::erase().
|
inline |
Definition at line 204 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::end(), sorted_vector< K, bNoDuplicates, Pr, A >::key_compare_, and sorted_vector< K, bNoDuplicates, Pr, A >::lower_bound().
|
inline |
Definition at line 208 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::end(), sorted_vector< K, bNoDuplicates, Pr, A >::key_compare_, and sorted_vector< K, bNoDuplicates, Pr, A >::lower_bound().
|
inline |
Definition at line 113 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 114 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 106 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 229 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 124 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::end(), sorted_vector< K, bNoDuplicates, Pr, A >::InsertImpl_(), sorted_vector< K, bNoDuplicates, Pr, A >::key_compare_, sorted_vector< K, bNoDuplicates, Pr, A >::lower_bound(), and sorted_vector< K, bNoDuplicates, Pr, A >::upper_bound().
Referenced by sorted_vector< K, bNoDuplicates, Pr, A >::insert().
|
inline |
Definition at line 138 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::end(), sorted_vector< K, bNoDuplicates, Pr, A >::insert(), sorted_vector< K, bNoDuplicates, Pr, A >::InsertImpl_(), sorted_vector< K, bNoDuplicates, Pr, A >::key_compare_, sorted_vector< K, bNoDuplicates, Pr, A >::KeyCompare_Geq_(), sorted_vector< K, bNoDuplicates, Pr, A >::KeyCompare_Gt_(), and sorted_vector< K, bNoDuplicates, Pr, A >::KeyCompare_Leq_().
|
inline |
Definition at line 169 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::insert(), sorted_vector< K, bNoDuplicates, Pr, A >::reserve(), and sorted_vector< K, bNoDuplicates, Pr, A >::size().
|
inlineprotected |
Definition at line 261 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
Referenced by sorted_vector< K, bNoDuplicates, Pr, A >::insert().
|
inline |
Definition at line 202 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::key_compare_.
Referenced by sorted_vector< K, bNoDuplicates, Pr, A >::value_comp().
|
inlineprotected |
Definition at line 265 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::key_compare_.
Referenced by sorted_vector< K, bNoDuplicates, Pr, A >::insert().
|
inlineprotected |
Definition at line 267 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::key_compare_.
Referenced by sorted_vector< K, bNoDuplicates, Pr, A >::insert().
|
inlineprotected |
Definition at line 263 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::key_compare_.
Referenced by sorted_vector< K, bNoDuplicates, Pr, A >::insert().
|
inline |
Definition at line 215 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::begin(), sorted_vector< K, bNoDuplicates, Pr, A >::end(), and sorted_vector< K, bNoDuplicates, Pr, A >::key_compare_.
Referenced by sorted_vector< K, bNoDuplicates, Pr, A >::find(), and sorted_vector< K, bNoDuplicates, Pr, A >::insert().
|
inline |
Definition at line 217 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::begin(), sorted_vector< K, bNoDuplicates, Pr, A >::end(), and sorted_vector< K, bNoDuplicates, Pr, A >::key_compare_.
|
inline |
Definition at line 193 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::begin(), and sorted_vector< K, bNoDuplicates, Pr, A >::end().
Referenced by operator<().
|
inline |
Definition at line 104 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 83 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::key_compare_, and sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 86 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::sort(), and sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 109 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 112 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 117 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 94 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 95 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 98 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 99 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inline |
Definition at line 89 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
Referenced by sorted_vector< K, bNoDuplicates, Pr, A >::insert().
|
inline |
Definition at line 103 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
Referenced by sorted_vector< K, bNoDuplicates, Pr, A >::Eq_(), and sorted_vector< K, bNoDuplicates, Pr, A >::insert().
|
inline |
Definition at line 231 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::key_compare_, sorted_vector< K, bNoDuplicates, Pr, A >::Unique_(), and sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
Referenced by sorted_vector< K, bNoDuplicates, Pr, A >::operator=().
|
inline |
Definition at line 237 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::end(), sorted_vector< K, bNoDuplicates, Pr, A >::erase(), sorted_vector< K, bNoDuplicates, Pr, A >::key_compare_, sorted_vector< K, bNoDuplicates, Pr, A >::Unique_(), and sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
Referenced by sorted_vector< K, bNoDuplicates, Pr, A >::sorted_vector().
|
inline |
Definition at line 196 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::key_compare_, and sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
|
inlineprotected |
Definition at line 245 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::key_compare_, and sorted_vector< K, bNoDuplicates, Pr, A >::vec_.
Referenced by sorted_vector< K, bNoDuplicates, Pr, A >::sort(), and sorted_vector< K, bNoDuplicates, Pr, A >::stable_sort().
|
inline |
Definition at line 219 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::begin(), sorted_vector< K, bNoDuplicates, Pr, A >::end(), and sorted_vector< K, bNoDuplicates, Pr, A >::key_compare_.
Referenced by sorted_vector< K, bNoDuplicates, Pr, A >::insert().
|
inline |
Definition at line 221 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::begin(), sorted_vector< K, bNoDuplicates, Pr, A >::end(), and sorted_vector< K, bNoDuplicates, Pr, A >::key_compare_.
|
inline |
Definition at line 203 of file sorted_vector.h.
References sorted_vector< K, bNoDuplicates, Pr, A >::key_comp().
|
friend |
Definition at line 199 of file sorted_vector.h.
|
protected |
Definition at line 270 of file sorted_vector.h.
Referenced by sorted_vector< K, bNoDuplicates, Pr, A >::equal_range(), sorted_vector< K, bNoDuplicates, Pr, A >::find(), sorted_vector< K, bNoDuplicates, Pr, A >::insert(), sorted_vector< K, bNoDuplicates, Pr, A >::key_comp(), sorted_vector< K, bNoDuplicates, Pr, A >::KeyCompare_Geq_(), sorted_vector< K, bNoDuplicates, Pr, A >::KeyCompare_Gt_(), sorted_vector< K, bNoDuplicates, Pr, A >::KeyCompare_Leq_(), sorted_vector< K, bNoDuplicates, Pr, A >::lower_bound(), sorted_vector< K, bNoDuplicates, Pr, A >::operator=(), sorted_vector< K, bNoDuplicates, Pr, A >::sort(), sorted_vector< K, bNoDuplicates, Pr, A >::stable_sort(), sorted_vector< K, bNoDuplicates, Pr, A >::swap(), sorted_vector< K, bNoDuplicates, Pr, A >::Unique_(), and sorted_vector< K, bNoDuplicates, Pr, A >::upper_bound().
|
protected |
Definition at line 271 of file sorted_vector.h.
Referenced by sorted_vector< K, bNoDuplicates, Pr, A >::assign(), sorted_vector< K, bNoDuplicates, Pr, A >::at(), sorted_vector< K, bNoDuplicates, Pr, A >::back(), sorted_vector< K, bNoDuplicates, Pr, A >::begin(), sorted_vector< K, bNoDuplicates, Pr, A >::clear(), sorted_vector< K, bNoDuplicates, Pr, A >::empty(), sorted_vector< K, bNoDuplicates, Pr, A >::end(), sorted_vector< K, bNoDuplicates, Pr, A >::erase(), sorted_vector< K, bNoDuplicates, Pr, A >::front(), sorted_vector< K, bNoDuplicates, Pr, A >::get_allocator(), sorted_vector< K, bNoDuplicates, Pr, A >::get_container(), sorted_vector< K, bNoDuplicates, Pr, A >::InsertImpl_(), sorted_vector< K, bNoDuplicates, Pr, A >::max_size(), sorted_vector< K, bNoDuplicates, Pr, A >::operator=(), sorted_vector< K, bNoDuplicates, Pr, A >::operator[](), sorted_vector< K, bNoDuplicates, Pr, A >::pop_back(), sorted_vector< K, bNoDuplicates, Pr, A >::rbegin(), sorted_vector< K, bNoDuplicates, Pr, A >::rend(), sorted_vector< K, bNoDuplicates, Pr, A >::reserve(), sorted_vector< K, bNoDuplicates, Pr, A >::size(), sorted_vector< K, bNoDuplicates, Pr, A >::sort(), sorted_vector< K, bNoDuplicates, Pr, A >::stable_sort(), sorted_vector< K, bNoDuplicates, Pr, A >::swap(), and sorted_vector< K, bNoDuplicates, Pr, A >::Unique_().