write_goto_binary.h File Reference

Write GOTO binaries. More...

#include <iosfwd>
#include <string>
#include "goto_functions.h"

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   4

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

Detailed Description

Write GOTO binaries.

Definition in file write_goto_binary.h.

Macro Definition Documentation

GOTO_BINARY_VERSION

#define GOTO_BINARY_VERSION   4

Definition at line 15 of file write_goto_binary.h.

Function Documentation

write_goto_binary() [1/3]

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

Writes a goto program to disc.

Definition at line 127 of file write_goto_binary.cpp.

write_goto_binary() [2/3]

bool write_goto_binary	(	std::ostream &	out,
		const symbol_tablet &	,
		const goto_functionst &	,
		int	version = 4
	)

Writes a goto program to disc.

Definition at line 140 of file write_goto_binary.cpp.

write_goto_binary() [3/3]

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

Writes a goto program to disc.

Definition at line 168 of file write_goto_binary.cpp.