cprover
|
#include <irep_serialization.h>
Public Types | |
typedef std::vector< std::pair< bool, irept > > | ireps_on_readt |
typedef std::map< unsigned, 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 |
Definition at line 31 of file irep_serialization.h.
typedef std::vector<std::pair<bool, irept> > irep_serializationt::ireps_containert::ireps_on_readt |
Definition at line 34 of file irep_serialization.h.
typedef std::map<unsigned, size_t> irep_serializationt::ireps_containert::ireps_on_writet |
Definition at line 38 of file irep_serialization.h.
typedef std::vector<bool> irep_serializationt::ireps_containert::string_mapt |
Definition at line 41 of file irep_serialization.h.
typedef std::vector<std::pair<bool, irep_idt> > irep_serializationt::ireps_containert::string_rev_mapt |
Definition at line 44 of file irep_serialization.h.
|
inline |
Definition at line 47 of file irep_serialization.h.
References irep_hash_container_baset::clear().
Referenced by irep_serializationt::clear(), and irep_serializationt::irep_serializationt().
irep_full_hash_containert irep_serializationt::ireps_containert::irep_full_hash_container |
Definition at line 37 of file irep_serialization.h.
Referenced by irep_serializationt::reference_convert().
ireps_on_readt irep_serializationt::ireps_containert::ireps_on_read |
Definition at line 35 of file irep_serialization.h.
Referenced by irep_serializationt::insert_on_read(), and irep_serializationt::reference_convert().
ireps_on_writet irep_serializationt::ireps_containert::ireps_on_write |
Definition at line 39 of file irep_serialization.h.
Referenced by irep_serializationt::insert_on_write(), and irep_serializationt::reference_convert().
string_mapt irep_serializationt::ireps_containert::string_map |
Definition at line 42 of file irep_serialization.h.
Referenced by irep_serializationt::write_string_ref().
string_rev_mapt irep_serializationt::ireps_containert::string_rev_map |
Definition at line 45 of file irep_serialization.h.
Referenced by irep_serializationt::read_string_ref().