CBMC
Public Types | Public Member Functions | Protected Types | Protected Attributes | List of all members
sparse_vectort< T > Class Template Reference

#include <sparse_vector.h>

+ Inheritance diagram for sparse_vectort< T >:
+ Collaboration diagram for sparse_vectort< T >:

Public Types

typedef underlyingt::iterator iteratort
 
typedef underlyingt::const_iterator const_iteratort
 

Public Member Functions

 sparse_vectort ()
 
const T & operator[] (uint64_t idx) const
 
T & operator[] (uint64_t idx)
 
uint64_t size () const
 
void resize (uint64_t new_size)
 
void clear ()
 
iteratort begin ()
 
const_iteratort begin () const
 
iteratort end ()
 
const_iteratort end () const
 
const_iteratort find (uint64_t idx)
 

Protected Types

typedef std::map< uint64_t, T > underlyingt
 

Protected Attributes

underlyingt underlying
 
uint64_t _size
 

Detailed Description

template<class T>
class sparse_vectort< T >

Definition at line 20 of file sparse_vector.h.

Member Typedef Documentation

◆ const_iteratort

template<class T >
typedef underlyingt::const_iterator sparse_vectort< T >::const_iteratort

Definition at line 61 of file sparse_vector.h.

◆ iteratort

template<class T >
typedef underlyingt::iterator sparse_vectort< T >::iteratort

Definition at line 60 of file sparse_vector.h.

◆ underlyingt

template<class T >
typedef std::map<uint64_t, T> sparse_vectort< T >::underlyingt
protected

Definition at line 23 of file sparse_vector.h.

Constructor & Destructor Documentation

◆ sparse_vectort()

template<class T >
sparse_vectort< T >::sparse_vectort ( )
inline

Definition at line 28 of file sparse_vector.h.

Member Function Documentation

◆ begin() [1/2]

template<class T >
iteratort sparse_vectort< T >::begin ( )
inline

Definition at line 63 of file sparse_vector.h.

◆ begin() [2/2]

template<class T >
const_iteratort sparse_vectort< T >::begin ( ) const
inline

Definition at line 64 of file sparse_vector.h.

◆ clear()

template<class T >
void sparse_vectort< T >::clear ( )
inline

Definition at line 54 of file sparse_vector.h.

◆ end() [1/2]

template<class T >
iteratort sparse_vectort< T >::end ( )
inline

Definition at line 66 of file sparse_vector.h.

◆ end() [2/2]

template<class T >
const_iteratort sparse_vectort< T >::end ( ) const
inline

Definition at line 67 of file sparse_vector.h.

◆ find()

template<class T >
const_iteratort sparse_vectort< T >::find ( uint64_t  idx)
inline

Definition at line 69 of file sparse_vector.h.

◆ operator[]() [1/2]

template<class T >
T& sparse_vectort< T >::operator[] ( uint64_t  idx)
inline

Definition at line 37 of file sparse_vector.h.

◆ operator[]() [2/2]

template<class T >
const T& sparse_vectort< T >::operator[] ( uint64_t  idx) const
inline

Definition at line 31 of file sparse_vector.h.

◆ resize()

template<class T >
void sparse_vectort< T >::resize ( uint64_t  new_size)
inline

Definition at line 48 of file sparse_vector.h.

◆ size()

template<class T >
uint64_t sparse_vectort< T >::size ( ) const
inline

Definition at line 43 of file sparse_vector.h.

Member Data Documentation

◆ _size

template<class T >
uint64_t sparse_vectort< T >::_size
protected

Definition at line 25 of file sparse_vector.h.

◆ underlying

template<class T >
underlyingt sparse_vectort< T >::underlying
protected

Definition at line 24 of file sparse_vector.h.

The documentation for this class was generated from the following file: