goto_program.cpp File Reference

#include <goto-programs/goto_program.h>
#include <iomanip>
#include <langapi/language_util.h>

Include dependency graph for goto_program.cpp:

Functions
bool	operator< (const goto_programt::const_targett i1, const goto_programt::const_targett i2)
std::ostream &	operator<< (std::ostream &out, goto_program_instruction_typet t)

Function Documentation

operator<()

bool operator<	(	const goto_programt::const_targett	i1,
		const goto_programt::const_targett	i2 )

operator<<()

std::ostream & operator<<	(	std::ostream &	out,
		goto_program_instruction_typet	t )