ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
hash_numbering< T, hash_fkt > Class Template Reference

#include <numbering.h>

Public Member Functions

 hash_numbering ()
unsigned number (const T &a)
bool get_number (const T &a, unsigned &n) const
void clear ()
size_t size ()
const T & operator[] (unsigned int i) const
T & operator[] (unsigned int i)
void erase (unsigned int num)

Protected Types

typedef std::unordered_map< T, unsigned, hash_fkt > numberst
typedef std::unordered_map< unsigned, T, std::hash< unsigned > > vectort

Protected Attributes

numberst numbers
vectort vec
unsigned int next_obj_num

Member Typedef Documentation

◆ numberst

template<typename T, class hash_fkt>
typedef std::unordered_map<T, unsigned, hash_fkt> hash_numbering< T, hash_fkt >::numberst
protected

◆ vectort

template<typename T, class hash_fkt>
typedef std::unordered_map<unsigned, T, std::hash<unsigned> > hash_numbering< T, hash_fkt >::vectort
protected

Constructor & Destructor Documentation

◆ hash_numbering()

template<typename T, class hash_fkt>
hash_numbering< T, hash_fkt >::hash_numbering ( )
inline

Member Function Documentation

◆ clear()

template<typename T, class hash_fkt>
void hash_numbering< T, hash_fkt >::clear ( )
inline

◆ erase()

template<typename T, class hash_fkt>
void hash_numbering< T, hash_fkt >::erase ( unsigned int num)
inline

◆ get_number()

template<typename T, class hash_fkt>
bool hash_numbering< T, hash_fkt >::get_number ( const T & a,
unsigned & n ) const
inline

◆ number()

template<typename T, class hash_fkt>
unsigned hash_numbering< T, hash_fkt >::number ( const T & a)
inline

◆ operator[]() [1/2]

template<typename T, class hash_fkt>
T & hash_numbering< T, hash_fkt >::operator[] ( unsigned int i)
inline

◆ operator[]() [2/2]

template<typename T, class hash_fkt>
const T & hash_numbering< T, hash_fkt >::operator[] ( unsigned int i) const
inline

◆ size()

template<typename T, class hash_fkt>
size_t hash_numbering< T, hash_fkt >::size ( )
inline

Member Data Documentation

◆ next_obj_num

template<typename T, class hash_fkt>
unsigned int hash_numbering< T, hash_fkt >::next_obj_num
protected

◆ numbers

template<typename T, class hash_fkt>
numberst hash_numbering< T, hash_fkt >::numbers
protected

◆ vec

template<typename T, class hash_fkt>
vectort hash_numbering< T, hash_fkt >::vec
protected

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