cprover
irep_hash_containert Class Reference

#include <irep_hash_container.h>

Inheritance diagram for irep_hash_containert:
[legend]
Collaboration diagram for irep_hash_containert:
[legend]

Public Member Functions

 irep_hash_containert ()
 
- Public Member Functions inherited from irep_hash_container_baset
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 *, size_t, pointer_hashtptr_hasht
 
typedef std::vector< size_t > packedt
 
typedef hash_numbering< packedt, vector_hashtnumberingt
 
- 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 numbering
 
bool full
 

Detailed Description

Definition at line 72 of file irep_hash_container.h.

Constructor & Destructor Documentation

§ irep_hash_containert()

irep_hash_containert::irep_hash_containert ( )
inline

Definition at line 76 of file irep_hash_container.h.


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