irep_hash_container_baset::irep_entryt Struct Reference
#include <irep_hash_container.h>
Collaboration diagram for irep_hash_container_baset::irep_entryt:Public Attributes | |
| std::size_t | number |
| irept | irep |
Detailed Description
Definition at line 48 of file irep_hash_container.h.
Member Data Documentation
◆ irep
| irept irep_hash_container_baset::irep_entryt::irep |
Definition at line 51 of file irep_hash_container.h.
◆ number
| std::size_t irep_hash_container_baset::irep_entryt::number |
Definition at line 50 of file irep_hash_container.h.
The documentation for this struct was generated from the following file:
