cprover
|
#include <numbering.h>
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 |
Definition at line 74 of file numbering.h.
typedef unsigned int hash_numbering< T, hash_fkt >::number_type |
Definition at line 78 of file numbering.h.
|
protected |
Definition at line 116 of file numbering.h.
|
protected |
Definition at line 114 of file numbering.h.
|
inline |
Definition at line 107 of file numbering.h.
|
inline |
Definition at line 96 of file numbering.h.
Referenced by inv_object_storet::get().
|
inline |
Definition at line 80 of file numbering.h.
Referenced by inv_object_storet::add(), pointer_logict::add_object(), inv_object_storet::get(), value_set_analysis_fit::get_values(), value_set_analysis_fivrt::get_values(), value_set_analysis_fivrnst::get_values(), value_sett::insert(), value_set_fit::insert(), value_set_fivrnst::insert_from(), value_set_fivrt::insert_from(), value_set_fivrnst::insert_to(), value_set_fivrt::insert_to(), pointer_logict::pointer_logict(), value_set_fivrt::set_from(), value_set_fit::set_from(), value_set_fivrnst::set_from(), value_set_fit::set_to(), value_set_fivrt::set_to(), and value_set_fivrnst::set_to().
|
protected |
Definition at line 117 of file numbering.h.