cprover
hash_numbering< T, hash_fkt > Class Template Reference

#include <numbering.h>

Inheritance diagram for hash_numbering< T, hash_fkt >:
[legend]
Collaboration diagram for hash_numbering< T, hash_fkt >:
[legend]

Public Types

typedef unsigned int number_type
 

Public Member Functions

number_type number (const T &a)
 
bool get_number (const T &a, number_type &n) const
 
void clear ()
 

Protected Types

typedef std::vector< T > subt
 
typedef std::unordered_map< T, number_type, hash_fkt > numberst
 

Protected Attributes

numberst numbers
 

Detailed Description

template<typename T, class hash_fkt>
class hash_numbering< T, hash_fkt >

Definition at line 74 of file numbering.h.

Member Typedef Documentation

§ number_type

template<typename T, class hash_fkt>
typedef unsigned int hash_numbering< T, hash_fkt >::number_type

Definition at line 78 of file numbering.h.

§ numberst

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

Definition at line 116 of file numbering.h.

§ subt

template<typename T, class hash_fkt>
typedef std::vector<T> hash_numbering< T, hash_fkt >::subt
protected

Definition at line 114 of file numbering.h.

Member Function Documentation

§ clear()

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

Definition at line 107 of file numbering.h.

§ get_number()

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

Definition at line 96 of file numbering.h.

Referenced by inv_object_storet::get().

§ number()

Member Data Documentation

§ numbers

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

Definition at line 117 of file numbering.h.


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