12 #ifndef CPROVER_UTIL_SPARSE_VECTOR_H 13 #define CPROVER_UTIL_SPARSE_VECTOR_H 66 #endif // CPROVER_UTIL_SPARSE_VECTOR_H underlyingt::iterator iteratort
const_iteratort end() const
const T & operator[](uint64_t idx) const
underlyingt::const_iterator const_iteratort
T & operator[](uint64_t idx)
const_iteratort begin() const
const_iteratort find(uint64_t idx)
void resize(uint64_t new_size)
std::map< uint64_t, T > underlyingt