|
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.