write_goto_binary.h File Reference

Write GOTO binaries. More...

#include <iosfwd>
#include <string>

Include dependency graph for write_goto_binary.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	GOTO_BINARY_VERSION   6

Functions
bool	write_goto_binary (std::ostream &out, const goto_modelt &, int version=6)
	Writes a goto program to disc.
bool	write_goto_binary (std::ostream &out, const symbol_table_baset &, const goto_functionst &, int version=6)
	Writes a goto program to disc.
bool	write_goto_binary (const std::string &filename, const goto_modelt &, message_handlert &)
	Writes a goto program to disc.

Detailed Description

Write GOTO binaries.

Definition in file write_goto_binary.h.

Macro Definition Documentation

GOTO_BINARY_VERSION

#define GOTO_BINARY_VERSION   6

Definition at line 15 of file write_goto_binary.h.

Function Documentation

write_goto_binary() [1/3]

bool write_goto_binary	(	const std::string &	filename,
		const goto_modelt &	goto_model,
		message_handlert &	message_handler
	)

Writes a goto program to disc.

Definition at line 187 of file write_goto_binary.cpp.

write_goto_binary() [2/3]

bool write_goto_binary	(	std::ostream &	out,
		const goto_modelt &	goto_model,
		int	version = 6
	)

Writes a goto program to disc.

Definition at line 144 of file write_goto_binary.cpp.

write_goto_binary() [3/3]

bool write_goto_binary	(	std::ostream &	out,
		const symbol_table_baset &	symbol_table,
		const goto_functionst &	goto_functions,
		int	version = 6
	)

Writes a goto program to disc.

Definition at line 157 of file write_goto_binary.cpp.