symbol_serializationt Class Reference

#include <symbol_serialization.h>

Public Member Functions
	symbol_serializationt (irep_serializationt::ireps_containert &ic)
void	convert (const symbolt &, std::ostream &)
void	convert (std::istream &, irept &)

Constructor & Destructor Documentation

symbol_serializationt()

symbol_serializationt::symbol_serializationt ( irep_serializationt::ireps_containert & ic )

inline

Member Function Documentation

convert() [1/2]

void symbol_serializationt::convert	(	const symbolt &	sym,
		std::ostream &	out )

convert() [2/2]

void symbol_serializationt::convert	(	std::istream &	in,
		irept &	symrep )

---

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

• src/util/symtab/symbol_serialization.h
• src/util/symtab/symbol_serialization.cpp