irep_serializationt Class Reference

#include <irep_serialization.h>

Classes
class	ireps_containert

Public Member Functions
	irep_serializationt (ireps_containert &ic)
void	reference_convert (std::istream &, irept &irep)
void	reference_convert (const irept &irep, std::ostream &)
irep_idt	read_string_ref (std::istream &)
void	write_string_ref (std::ostream &, const irep_idt &)
void	clear ()
irep_idt	read_string (std::istream &)

Static Public Member Functions
static unsigned	read_long (std::istream &)

Constructor & Destructor Documentation

irep_serializationt()

irep_serializationt::irep_serializationt ( ireps_containert & ic )

inline

Member Function Documentation

clear()

void irep_serializationt::clear ( )

inline

read_long()

unsigned irep_serializationt::read_long ( std::istream & in )

static

read_string()

irep_idt irep_serializationt::read_string

(

std::istream &

in

)

read_string_ref()

irep_idt irep_serializationt::read_string_ref

(

std::istream &

in

)

reference_convert() [1/2]

void irep_serializationt::reference_convert	(	const irept &	irep,
		std::ostream &	out )

reference_convert() [2/2]

void irep_serializationt::reference_convert	(	std::istream &	in,
		irept &	irep )

write_string_ref()

void irep_serializationt::write_string_ref	(	std::ostream &	out,
		const irep_idt &	s )

---

The documentation for this class was generated from the following files:

• src/util/irep/irep_serialization.h
• src/util/irep/irep_serialization.cpp