cprover
|
#include <irep_hash_container.h>
Classes | |
struct | irep_entryt |
struct | pointer_hasht |
struct | vector_hasht |
Public Member Functions | |
std::size_t | number (const irept &irep) |
irep_hash_container_baset (bool _full) | |
void | clear () |
Protected Types | |
typedef std::unordered_map< const void *, irep_entryt, pointer_hasht > | ptr_hasht |
typedef std::vector< std::size_t > | packedt |
typedef hash_numbering< packedt, vector_hasht > | numberingt |
Protected Member Functions | |
void | pack (const irept &irep, packedt &) |
Protected Attributes | |
ptr_hasht | ptr_hash |
numberingt | numbering |
bool | full |
Definition at line 20 of file irep_hash_container.h.
|
protected |
Definition at line 67 of file irep_hash_container.h.
|
protected |
Definition at line 60 of file irep_hash_container.h.
|
protected |
Definition at line 55 of file irep_hash_container.h.
|
inlineexplicit |
Definition at line 25 of file irep_hash_container.h.
|
inline |
Definition at line 29 of file irep_hash_container.h.
References template_numberingt< Map >::clear().
Referenced by irep_serializationt::ireps_containert::clear(), and irep_hash_mapt< Key, T >::clear().
size_t irep_hash_container_baset::number | ( | const irept & | irep | ) |
Definition at line 17 of file irep_hash_container.cpp.
References template_numberingt< Map >::number(), pack(), ptr_hash, and irept::read().
Referenced by irep_hash_mapt< Key, T >::find(), irep_hash_mapt< Key, T >::insert(), irep_hash_mapt< Key, T >::operator[](), pack(), and irep_serializationt::reference_convert().
Definition at line 46 of file irep_hash_container.cpp.
References forall_irep, forall_named_irep, full, irept::get_comments(), irept::get_named_sub(), irept::get_sub(), irept::id(), and number().
Referenced by number().
|
protected |
Definition at line 72 of file irep_hash_container.h.
Referenced by pack().
|
protected |
Definition at line 68 of file irep_hash_container.h.
|
protected |
Definition at line 56 of file irep_hash_container.h.
Referenced by number().