cprover
|
binary irep conversions with hashing More...
Go to the source code of this file.
Functions | |
void | write_gb_word (std::ostream &out, std::size_t u) |
outputs 4 characters for a long, most-significant byte first More... | |
void | write_gb_string (std::ostream &out, const std::string &s) |
outputs the string and then a zero byte. More... | |
binary irep conversions with hashing
Definition in file irep_serialization.cpp.
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().