irep_serializationt::ireps_containert Class Reference

#include <irep_serialization.h>

Public Types
typedef std::vector< irept >	irepts_on_readt
typedef std::unordered_map< irept, unsigned, irep_full_hash, irep_full_eq >	irepts_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
irepts_on_readt	ireps_on_read
irepts_on_writet	ireps_on_write
string_mapt	string_map
string_rev_mapt	string_rev_map

Member Typedef Documentation

irepts_on_readt

typedef std::vector<irept> irep_serializationt::ireps_containert::irepts_on_readt

irepts_on_writet

typedef std::unordered_map<irept, unsigned, irep_full_hash, irep_full_eq> irep_serializationt::ireps_containert::irepts_on_writet

string_mapt

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

string_rev_mapt

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

Member Function Documentation

clear()

void irep_serializationt::ireps_containert::clear ( )

inline

Member Data Documentation

ireps_on_read

irepts_on_readt irep_serializationt::ireps_containert::ireps_on_read

ireps_on_write

irepts_on_writet irep_serializationt::ireps_containert::ireps_on_write

string_map

string_mapt irep_serializationt::ireps_containert::string_map

string_rev_map

string_rev_mapt irep_serializationt::ireps_containert::string_rev_map

---

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

• src/util/irep/irep_serialization.h