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

#include <numbering.h>

Inheritance diagram for numbering< T >:
[legend]

Public Member Functions

 numbering ()
unsigned number (const T &a)
bool get_number (const T &a, unsigned &n) const
void clear ()
size_t size ()
void erase (unsigned int num)

Protected Types

typedef std::map< T, unsigned > 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>
typedef std::map<T, unsigned> numbering< T >::numberst
protected

◆ vectort

template<typename T>
typedef std::unordered_map<unsigned, T, std::hash<unsigned> > numbering< T >::vectort
protected

Constructor & Destructor Documentation

◆ numbering()

template<typename T>
numbering< T >::numbering ( )
inline

Member Function Documentation

◆ clear()

template<typename T>
void numbering< T >::clear ( )
inline

◆ erase()

template<typename T>
void numbering< T >::erase ( unsigned int num)
inline

◆ get_number()

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

◆ number()

template<typename T>
unsigned numbering< T >::number ( const T & a)
inline

◆ size()

template<typename T>
size_t numbering< T >::size ( )
inline

Member Data Documentation

◆ next_obj_num

template<typename T>
unsigned int numbering< T >::next_obj_num
protected

◆ numbers

template<typename T>
numberst numbering< T >::numbers
protected

◆ vec

template<typename T>
vectort numbering< T >::vec
protected

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