cprover
|
#include <irep_hash_container.h>
Classes | |
struct | pointer_hasht |
struct | vector_hasht |
Public Member Functions | |
size_t | number (const irept &irep) |
irep_hash_container_baset (bool _full) | |
void | clear () |
Protected Types | |
typedef std::unordered_map< const void *, size_t, pointer_hasht > | ptr_hasht |
typedef std::vector< 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 22 of file irep_hash_container.h.
|
protected |
Definition at line 63 of file irep_hash_container.h.
|
protected |
Definition at line 56 of file irep_hash_container.h.
|
protected |
Definition at line 51 of file irep_hash_container.h.
|
inlineexplicit |
Definition at line 27 of file irep_hash_container.h.
|
inline |
Definition at line 31 of file irep_hash_container.h.
References numbering< T >::clear().
Referenced by irep_serializationt::ireps_containert::clear().
size_t irep_hash_container_baset::number | ( | const irept & | irep | ) |
Definition at line 17 of file irep_hash_container.cpp.
References numbering< T >::number(), pack(), ptr_hash, and irept::read().
Referenced by pack(), and irep_serializationt::reference_convert().
Definition at line 44 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 68 of file irep_hash_container.h.
Referenced by pack().
|
protected |
Definition at line 64 of file irep_hash_container.h.
|
protected |
Definition at line 52 of file irep_hash_container.h.
Referenced by number().