cprover
irep_serialization.h File Reference

binary irep conversions with hashing More...

#include <map>
#include <iosfwd>
#include <string>
#include <vector>
#include "irep_hash_container.h"
#include "irep.h"
+ Include dependency graph for irep_serialization.h:
+ This graph shows which files directly or indirectly include this file:

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)
 Write 7 bits of u each time, least-significant byte first, until we have zero. More...
 
void write_gb_string (std::ostream &, const std::string &)
 outputs the string and then a zero byte. More...
 

Detailed Description

binary irep conversions with hashing

Definition in file irep_serialization.h.

Function Documentation

◆ write_gb_string()

void write_gb_string ( std::ostream &  out,
const std::string &  s 
)

outputs the string and then a zero byte.

Parameters
outoutput stream
sstring to output

Definition at line 180 of file irep_serialization.cpp.

◆ write_gb_word()

void write_gb_word ( std::ostream &  out,
std::size_t  u 
)

Write 7 bits of u each time, least-significant byte first, until we have zero.

Parameters
outtarget stream
unumber to write

Definition at line 132 of file irep_serialization.cpp.