irep_serialization.h File Reference

#include <vector>
#include <util/irep/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_long (std::ostream &, unsigned)
void	write_string (std::ostream &, const std::string &)

Function Documentation

write_long()

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

write_string()

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