cprover
|
#include <numbering.h>
Public Types | |
typedef std::size_t | number_type |
Public Member Functions | |
number_type | number (const T &a) |
number_type | operator() (const T &a) |
bool | get_number (const T &a, number_type &n) const |
void | clear () |
Protected Types | |
typedef std::vector< T > | subt |
typedef std::map< T, number_type > | numberst |
Protected Attributes | |
numberst | numbers |
Definition at line 21 of file numbering.h.
typedef std::size_t numbering< T >::number_type |
Definition at line 25 of file numbering.h.
|
protected |
Definition at line 68 of file numbering.h.
Definition at line 66 of file numbering.h.
|
inline |
Definition at line 59 of file numbering.h.
Referenced by irep_hash_container_baset::clear().
|
inline |
Definition at line 48 of file numbering.h.
Referenced by boolbvt::bv_get_unbounded_array().
|
inline |
Definition at line 27 of file numbering.h.
Referenced by local_may_aliast::assign_lhs(), local_bitvector_analysist::assign_lhs(), local_may_aliast::build(), local_bitvector_analysist::build(), local_may_aliast::get_rec(), local_bitvector_analysist::get_rec(), irep_hash_container_baset::number(), numbering< exprt >::operator()(), and output_vcd().
|
inline |
Definition at line 43 of file numbering.h.
Definition at line 69 of file numbering.h.
Referenced by numbering< exprt >::clear(), hash_numbering< irep_idt, irep_id_hash >::clear(), numbering< exprt >::get_number(), hash_numbering< irep_idt, irep_id_hash >::get_number(), numbering< exprt >::number(), and hash_numbering< irep_idt, irep_id_hash >::number().