CBMC
|
#include <irep_hash_container.h>
Public Member Functions | |
irep_hash_containert () | |
Public Member Functions inherited from irep_hash_container_baset | |
std::size_t | number (const irept &irep) |
irep_hash_container_baset (bool _full) | |
void | clear () |
Additional Inherited Members | |
Protected Types inherited from irep_hash_container_baset | |
typedef std::unordered_map< const void *, irep_entryt, pointer_hasht > | ptr_hasht |
typedef std::vector< std::size_t > | packedt |
Protected Member Functions inherited from irep_hash_container_baset | |
void | pack (const irept &irep, packedt &) |
Protected Attributes inherited from irep_hash_container_baset | |
ptr_hasht | ptr_hash |
numberingt< packedt, vector_hasht > | numbering |
bool | full |
Definition at line 81 of file irep_hash_container.h.
|
inline |
Definition at line 85 of file irep_hash_container.h.