cprover
expanding_vectort< T > Class Template Reference

#include <expanding_vector.h>

Inheritance diagram for expanding_vectort< T >:
[legend]
Collaboration diagram for expanding_vectort< T >:
[legend]

Public Member Functions

T & operator[] (typename std::vector< T >::size_type n)
 
const T & operator[] (typename std::vector< T >::size_type n) const
 

Protected Types

typedef std::vector< T > subt
 

Protected Member Functions

void check_index (typename std::vector< T >::size_type n)
 

Detailed Description

template<typename T>
class expanding_vectort< T >

Definition at line 16 of file expanding_vector.h.

Member Typedef Documentation

§ subt

template<typename T>
typedef std::vector<T> expanding_vectort< T >::subt
protected

Definition at line 33 of file expanding_vector.h.

Member Function Documentation

§ check_index()

template<typename T>
void expanding_vectort< T >::check_index ( typename std::vector< T >::size_type  n)
inlineprotected

§ operator[]() [1/2]

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

Definition at line 19 of file expanding_vector.h.

§ operator[]() [2/2]

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

Definition at line 25 of file expanding_vector.h.


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