cprover
|
binary irep conversions with hashing More...
#include <map>
#include <iosfwd>
#include <string>
#include <vector>
#include "irep_hash_container.h"
#include "irep.h"
Go to the source code of this file.
Classes | |
class | irep_serializationt |
class | irep_serializationt::ireps_containert |
Functions | |
void | write_gb_word (std::ostream &, std::size_t) |
outputs 4 characters for a long, most-significant byte first More... | |
void | write_gb_string (std::ostream &, const std::string &) |
outputs the string and then a zero byte. More... | |
binary irep conversions with hashing
Definition in file irep_serialization.h.
void write_gb_string | ( | std::ostream & | out, |
const std::string & | s | ||
) |
outputs the string and then a zero byte.
Definition at line 209 of file irep_serialization.cpp.
Referenced by write_goto_binary_v3(), and irep_serializationt::write_string_ref().
void write_gb_word | ( | std::ostream & | out, |
std::size_t | u | ||
) |
outputs 4 characters for a long, most-significant byte first
Definition at line 166 of file irep_serialization.cpp.
Referenced by irep_serializationt::reference_convert(), write_goto_binary(), write_goto_binary_v3(), and irep_serializationt::write_string_ref().