14 #ifndef CPROVER_UTIL_IREP_SERIALIZATION_H 15 #define CPROVER_UTIL_IREP_SERIALIZATION_H 86 #endif // CPROVER_UTIL_IREP_SERIALIZATION_H irep_serializationt(ireps_containert &ic)
string_rev_mapt string_rev_map
std::vector< char > read_buffer
irep_idt read_string_ref(std::istream &)
reads a string reference from the stream
std::vector< bool > string_mapt
std::size_t insert_on_write(std::size_t h)
inserts an irep into the hashtable
ireps_on_readt ireps_on_read
void reference_convert(std::istream &, irept &irep)
irep_full_hash_containert irep_full_hash_container
Base class for tree-like data structures with sharing.
void write_irep(std::ostream &, const irept &irep)
ireps_containert & ireps_container
void write_gb_word(std::ostream &, std::size_t)
outputs 4 characters for a long, most-significant byte first
irep_idt read_gb_string(std::istream &)
reads a string from the stream
std::map< unsigned, size_t > ireps_on_writet
std::vector< std::pair< bool, irep_idt > > string_rev_mapt
void write_string_ref(std::ostream &, const irep_idt &)
outputs the string reference
ireps_on_writet ireps_on_write
static std::size_t read_gb_word(std::istream &)
reads 4 characters and builds a long int from them
std::size_t insert_on_read(std::size_t id, const irept &)
inserts an irep into the hashtable, but only the id-hashtable (only to be used upon reading ireps fro...
void read_irep(std::istream &, irept &irep)
void write_gb_string(std::ostream &, const std::string &)
outputs the string and then a zero byte.
std::vector< std::pair< bool, irept > > ireps_on_readt