CBMC
Public Types | Public Member Functions | Public Attributes | List of all members
irep_serializationt::ireps_containert Class Reference

#include <irep_serialization.h>

+ Collaboration diagram for irep_serializationt::ireps_containert:

Public Types

typedef std::vector< std::pair< bool, irept > > ireps_on_readt
 
typedef std::map< std::size_t, std::size_t > ireps_on_writet
 
typedef std::vector< bool > string_mapt
 
typedef std::vector< std::pair< bool, irep_idt > > string_rev_mapt
 

Public Member Functions

void clear ()
 

Public Attributes

ireps_on_readt ireps_on_read
 
irep_full_hash_containert irep_full_hash_container
 
ireps_on_writet ireps_on_write
 
string_mapt string_map
 
string_rev_mapt string_rev_map
 

Detailed Description

Definition at line 31 of file irep_serialization.h.

Member Typedef Documentation

◆ ireps_on_readt

typedef std::vector<std::pair<bool, irept> > irep_serializationt::ireps_containert::ireps_on_readt

Definition at line 34 of file irep_serialization.h.

◆ ireps_on_writet

typedef std::map<std::size_t, std::size_t> irep_serializationt::ireps_containert::ireps_on_writet

Definition at line 38 of file irep_serialization.h.

◆ string_mapt

typedef std::vector<bool> irep_serializationt::ireps_containert::string_mapt

Definition at line 41 of file irep_serialization.h.

◆ string_rev_mapt

typedef std::vector<std::pair<bool, irep_idt> > irep_serializationt::ireps_containert::string_rev_mapt

Definition at line 44 of file irep_serialization.h.

Member Function Documentation

◆ clear()

void irep_serializationt::ireps_containert::clear ( void  )
inline

Definition at line 47 of file irep_serialization.h.

Member Data Documentation

◆ irep_full_hash_container

irep_full_hash_containert irep_serializationt::ireps_containert::irep_full_hash_container

Definition at line 37 of file irep_serialization.h.

◆ ireps_on_read

ireps_on_readt irep_serializationt::ireps_containert::ireps_on_read

Definition at line 35 of file irep_serialization.h.

◆ ireps_on_write

ireps_on_writet irep_serializationt::ireps_containert::ireps_on_write

Definition at line 39 of file irep_serialization.h.

◆ string_map

string_mapt irep_serializationt::ireps_containert::string_map

Definition at line 42 of file irep_serialization.h.

◆ string_rev_map

string_rev_mapt irep_serializationt::ireps_containert::string_rev_map

Definition at line 45 of file irep_serialization.h.

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