goto_function_serializationt Class Reference

#include <goto_function_serialization.h>

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

Constructor & Destructor Documentation

goto_function_serializationt()

goto_function_serializationt::goto_function_serializationt ( irep_serializationt::ireps_containert & ic )

inline

Member Function Documentation

convert() [1/2]

void goto_function_serializationt::convert	(	const goto_functiont &	function,
		std::ostream &	out )

convert() [2/2]

void goto_function_serializationt::convert	(	std::istream &	in,
		irept &	funsymb )

---

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

• src/goto-programs/goto_function_serialization.h
• src/goto-programs/goto_function_serialization.cpp