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 ( void  )

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:

• /home/runner/work/cbmc/cbmc/src/util/sparse_vector.h