cprover
|
#include <expanding_vector.h>
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) |
Definition at line 16 of file expanding_vector.h.
|
protected |
Definition at line 33 of file expanding_vector.h.
|
inlineprotected |
Definition at line 36 of file expanding_vector.h.
Referenced by expanding_vectort< path_searcht::loc_datat >::operator[]().
|
inline |
Definition at line 19 of file expanding_vector.h.
|
inline |
Definition at line 25 of file expanding_vector.h.