Loading...

Searching...

No Matches

irep_serialization.cpp File Reference

binary irep conversions with hashing More...

#include "irep_serialization.h"
#include "exception_utils.h"
#include "string_container.h"
#include <climits>
#include <iostream>

+ Include dependency graph for irep_serialization.cpp:

Functions

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.

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

outputs the string and then a zero byte.

Detailed Description

binary irep conversions with hashing

void write_gb_string ( std::ostream & out,

const std::string & s

)

outputs the string and then a zero byte.

Definition at line 170 of file irep_serialization.cpp.

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.

Definition at line 122 of file irep_serialization.cpp.