goto_program_serializationt Class Reference

#include <goto_program_serialization.h>

Public Member Functions
	goto_program_serializationt (irep_serializationt::ireps_containert &ic)
void	convert (const goto_programt &, std::ostream &)
void	convert (std::istream &, irept &)
goto_programt::targett	find_instruction (goto_programt &, unsigned)

Constructor & Destructor Documentation

goto_program_serializationt()

goto_program_serializationt::goto_program_serializationt ( irep_serializationt::ireps_containert & ic )

inline

Member Function Documentation

convert() [1/2]

void goto_program_serializationt::convert	(	const goto_programt &	goto_program,
		std::ostream &	out )

convert() [2/2]

void goto_program_serializationt::convert	(	std::istream &	in,
		irept &	gprep )

find_instruction()

goto_programt::targett goto_program_serializationt::find_instruction	(	goto_programt &	,
		unsigned	)

---

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

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