10 #ifndef CPROVER_UTIL_EXPANDING_VECTOR_H 11 #define CPROVER_UTIL_EXPANDING_VECTOR_H 22 return subt::operator[](n);
29 return subt::operator[](n);
33 typedef std::vector<T>
subt;
43 #endif // CPROVER_UTIL_EXPANDING_VECTOR_H unsignedbv_typet size_type()
void check_index(typename std::vector< T >::size_type n)
T & operator[](typename std::vector< T >::size_type n)