irep_serialization.cpp File Reference

#include <new>
#include <stdexcept>
#include <sstream>
#include <util/irep/irep_serialization.h>
#include <util/message/message.h>

Include dependency graph for irep_serialization.cpp:

Functions
void	write_long (std::ostream &out, unsigned u)
void	write_string (std::ostream &out, const std::string &s)

Function Documentation

write_long()

void write_long	(	std::ostream &	out,
		unsigned	u )

write_string()

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