CBMC
Public Member Functions | Public Attributes | List of all members
irep_hash_container_baset::irep_entryt Struct Reference

#include <irep_hash_container.h>

+ Collaboration diagram for irep_hash_container_baset::irep_entryt:

Public Member Functions

 irep_entryt (std::size_t _number, const irept &_irep)
 

Public Attributes

std::size_t number
 
irept irep
 

Detailed Description

Definition at line 49 of file irep_hash_container.h.

Constructor & Destructor Documentation

◆ irep_entryt()

irep_hash_container_baset::irep_entryt::irep_entryt ( std::size_t  _number,
const irept &  _irep 
)
inline

Definition at line 54 of file irep_hash_container.h.

Member Data Documentation

◆ irep

irept irep_hash_container_baset::irep_entryt::irep

Definition at line 52 of file irep_hash_container.h.

◆ number

std::size_t irep_hash_container_baset::irep_entryt::number

Definition at line 51 of file irep_hash_container.h.

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