CBMC
Public Types | Public Member Functions | Private Types | Private Attributes | List of all members
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: