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 72 of file irep_hash_container.h.
|
protected |
Definition at line 65 of file irep_hash_container.h.
|
protected |
Definition at line 60 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.
size_t irep_hash_container_baset::number | ( | const irept & | irep | ) |
Definition at line 17 of file irep_hash_container.cpp.
Definition at line 47 of file irep_hash_container.cpp.
|
protected |
Definition at line 77 of file irep_hash_container.h.
|
protected |
Definition at line 73 of file irep_hash_container.h.
|
protected |
Definition at line 61 of file irep_hash_container.h.