irep_hash_container_baset Class Reference

#include <irep_hash_container.h>

Inheritance diagram for irep_hash_container_baset:

Collaboration diagram for irep_hash_container_baset:

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

Protected Member Functions
void	pack (const irept &irep, packedt &)

Protected Attributes
ptr_hasht	ptr_hash
numberingt< packedt, vector_hasht >	numbering
bool	full

Detailed Description

Definition at line 21 of file irep_hash_container.h.

Member Typedef Documentation

packedt

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

protected

Definition at line 66 of file irep_hash_container.h.

ptr_hasht

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

protected

Definition at line 61 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 26 of file irep_hash_container.h.

Member Function Documentation

clear()

void irep_hash_container_baset::clear ( void  )

inline

Definition at line 30 of file irep_hash_container.h.

number()

size_t irep_hash_container_baset::number

(

const irept &

irep

)

Definition at line 17 of file irep_hash_container.cpp.

pack()

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

protected

Definition at line 47 of file irep_hash_container.cpp.

Member Data Documentation

full

bool irep_hash_container_baset::full

protected

Definition at line 77 of file irep_hash_container.h.

numbering

numberingt<packedt, vector_hasht> irep_hash_container_baset::numbering

protected

Definition at line 73 of file irep_hash_container.h.

ptr_hash

ptr_hasht irep_hash_container_baset::ptr_hash

protected

Definition at line 62 of file irep_hash_container.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/irep_hash_container.h
• /home/runner/work/cbmc/cbmc/src/util/irep_hash_container.cpp