Go to the documentation of this file.
14 #ifndef CPROVER_UTIL_IREP_SERIALIZATION_H
15 #define CPROVER_UTIL_IREP_SERIALIZATION_H
83 #endif // CPROVER_UTIL_IREP_SERIALIZATION_H
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
void write_gb_string(std::ostream &, const std::string &)
outputs the string and then a zero byte.
void reference_convert(std::istream &, irept &irep)
irep_idt read_gb_string(std::istream &)
reads a string from the stream
std::vector< char > read_buffer
std::vector< bool > string_mapt
ireps_on_readt ireps_on_read
static std::size_t read_gb_word(std::istream &)
Interpret a stream of byte as a 7-bit encoded unsigned number.
std::vector< std::pair< bool, irep_idt > > string_rev_mapt
ireps_on_writet ireps_on_write
void write_irep(std::ostream &, const irept &irep)
void read_irep(std::istream &, irept &irep)
irep_full_hash_containert irep_full_hash_container
string_rev_mapt string_rev_map
void write_gb_word(std::ostream &, std::size_t)
Write 7 bits of u each time, least-significant byte first, until we have zero.
std::vector< std::pair< bool, irept > > ireps_on_readt
std::map< std::size_t, std::size_t > ireps_on_writet
irep_idt read_string_ref(std::istream &)
Read a string reference from the stream.
Base class for tree-like data structures with sharing.
irep_serializationt(ireps_containert &ic)
ireps_containert & ireps_container
void write_string_ref(std::ostream &, const irep_idt &)
Output a string and maintain a reference to it.