cprover
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: