CBMC
irep_full_hash_containert Class Reference

#include <irep_hash_container.h>

+ Inheritance diagram for irep_full_hash_containert:
+ Collaboration diagram for irep_full_hash_containert:

Public Member Functions

 irep_full_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_hashtptr_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_hashtnumbering
 
bool full
 

Detailed Description

Definition at line 91 of file irep_hash_container.h.

Constructor & Destructor Documentation

◆ irep_full_hash_containert()

irep_full_hash_containert::irep_full_hash_containert ( )
inline

Definition at line 95 of file irep_hash_container.h.


The documentation for this class was generated from the following file: