10 #ifndef CPROVER_UTIL_EXPANDING_VECTOR_H 11 #define CPROVER_UTIL_EXPANDING_VECTOR_H 25 typedef typename data_typet::iterator
iterator;
52 #endif // CPROVER_UTIL_EXPANDING_VECTOR_H const_iterator begin() const
unsignedbv_typet size_type()
const_iterator cend() const
data_typet::const_iterator const_iterator
data_typet::size_type size_type
std::vector< T > data_typet
const_iterator end() const
data_typet::iterator iterator
T & operator[](typename std::vector< T >::size_type n)
const_iterator cbegin() const
void push_back(const T &t)