Inheritance diagram for irep_hash_containert:

Collaboration diagram for irep_hash_containert:

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

Detailed Description

Definition at line 81 of file irep_hash_container.h.

Constructor & Destructor Documentation

irep_hash_containert::irep_hash_containert ( )

inline

Definition at line 85 of file irep_hash_container.h.

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

/home/runner/work/cbmc-documentation/cbmc-documentation/src/util/irep_hash_container.h