cprover
irep_hash_container_baset Class Reference

#include <irep_hash_container.h>

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

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_hashtptr_hasht
 
typedef std::vector< size_t > packedt
 
typedef hash_numbering< packedt, vector_hashtnumberingt
 

Protected Member Functions

void pack (const irept &irep, packedt &)
 

Protected Attributes

ptr_hasht ptr_hash
 
numberingt numbering
 
bool full
 

Detailed Description

Definition at line 22 of file irep_hash_container.h.

Member Typedef Documentation

§ numberingt

§ packedt

typedef std::vector<size_t> irep_hash_container_baset::packedt
protected

Definition at line 56 of file irep_hash_container.h.

§ ptr_hasht

typedef std::unordered_map<const void *, size_t, pointer_hasht> irep_hash_container_baset::ptr_hasht
protected

Definition at line 51 of file irep_hash_container.h.

Constructor & Destructor Documentation

§ irep_hash_container_baset()

irep_hash_container_baset::irep_hash_container_baset ( bool  _full)
inlineexplicit

Definition at line 27 of file irep_hash_container.h.

Member Function Documentation

§ clear()

void irep_hash_container_baset::clear ( void  )
inline

§ number()

size_t irep_hash_container_baset::number ( const irept irep)

§ pack()

void irep_hash_container_baset::pack ( const irept irep,
packedt packed 
)
protected

Member Data Documentation

§ full

bool irep_hash_container_baset::full
protected

Definition at line 68 of file irep_hash_container.h.

Referenced by pack().

§ numbering

numberingt irep_hash_container_baset::numbering
protected

Definition at line 64 of file irep_hash_container.h.

§ ptr_hash

ptr_hasht irep_hash_container_baset::ptr_hash
protected

Definition at line 52 of file irep_hash_container.h.

Referenced by number().


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