12#ifndef CPROVER_UTIL_SPARSE_VECTOR_H
13#define CPROVER_UTIL_SPARSE_VECTOR_H
const_iteratort find(uint64_t idx)
std::map< uint64_t, T > underlyingt
T & operator[](uint64_t idx)
const_iteratort begin() const
void resize(uint64_t new_size)
underlyingt::iterator iteratort
underlyingt::const_iterator const_iteratort
const T & operator[](uint64_t idx) const
const_iteratort end() const
#define INVARIANT(CONDITION, REASON)
This macro uses the wrapper function 'invariant_violated_string'.