cprover
Loading...
Searching...
No Matches
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: