cprover
Loading...
Searching...
No Matches
expanding_vectort< T > Class Template Reference

#include <expanding_vector.h>

Inheritance diagram for expanding_vectort< T >:

Public Types

typedef data_typet::size_type size_type
typedef data_typet::iterator iterator
typedef data_typet::const_iterator const_iterator

Public Member Functions

T & operator[] (typename std::vector< T >::size_type n)
void clear ()
iterator begin ()
const_iterator begin () const
const_iterator cbegin () const
iterator end ()
const_iterator end () const
const_iterator cend () const
size_type size () const
void push_back (const T &t)
void push_back (T &&t)

Private Types

typedef std::vector< T > data_typet

Private Attributes

data_typet data

Detailed Description

template<typename T>
class expanding_vectort< T >

Definition at line 16 of file expanding_vector.h.

Member Typedef Documentation

◆ const_iterator

template<typename T>
typedef data_typet::const_iterator expanding_vectort< T >::const_iterator

Definition at line 27 of file expanding_vector.h.

◆ data_typet

template<typename T>
typedef std::vector<T> expanding_vectort< T >::data_typet
private

Definition at line 18 of file expanding_vector.h.

◆ iterator

template<typename T>
typedef data_typet::iterator expanding_vectort< T >::iterator

Definition at line 25 of file expanding_vector.h.

◆ size_type

template<typename T>
typedef data_typet::size_type expanding_vectort< T >::size_type

Definition at line 23 of file expanding_vector.h.

Member Function Documentation

◆ begin() [1/2]

template<typename T>
iterator expanding_vectort< T >::begin ( )
inline

Definition at line 38 of file expanding_vector.h.

◆ begin() [2/2]

template<typename T>
const_iterator expanding_vectort< T >::begin ( ) const
inline

Definition at line 39 of file expanding_vector.h.

◆ cbegin()

template<typename T>
const_iterator expanding_vectort< T >::cbegin ( ) const
inline

Definition at line 40 of file expanding_vector.h.

◆ cend()

template<typename T>
const_iterator expanding_vectort< T >::cend ( ) const
inline

Definition at line 44 of file expanding_vector.h.

◆ clear()

template<typename T>
void expanding_vectort< T >::clear ( )
inline

Definition at line 36 of file expanding_vector.h.

◆ end() [1/2]

template<typename T>
iterator expanding_vectort< T >::end ( )
inline

Definition at line 42 of file expanding_vector.h.

◆ end() [2/2]

template<typename T>
const_iterator expanding_vectort< T >::end ( ) const
inline

Definition at line 43 of file expanding_vector.h.

◆ operator[]()

template<typename T>
T & expanding_vectort< T >::operator[] ( typename std::vector< T >::size_type n)
inline

Definition at line 29 of file expanding_vector.h.

◆ push_back() [1/2]

template<typename T>
void expanding_vectort< T >::push_back ( const T & t)
inline

Definition at line 48 of file expanding_vector.h.

◆ push_back() [2/2]

template<typename T>
void expanding_vectort< T >::push_back ( T && t)
inline

Definition at line 49 of file expanding_vector.h.

◆ size()

template<typename T>
size_type expanding_vectort< T >::size ( ) const
inline

Definition at line 46 of file expanding_vector.h.

Member Data Documentation

◆ data

template<typename T>
data_typet expanding_vectort< T >::data
private

Definition at line 19 of file expanding_vector.h.


The documentation for this class was generated from the following file: