write_goto_binary.h File Reference

#include <goto-programs/goto_functions.h>
#include <ostream>
#include <util/symtab/context.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   1

Functions
bool	write_goto_binary (std::ostream &out, const contextt &lcontext, goto_functionst &functions)

Macro Definition Documentation

GOTO_BINARY_VERSION

#define GOTO_BINARY_VERSION   1

Function Documentation

write_goto_binary()

bool write_goto_binary	(	std::ostream &	out,
		const contextt &	lcontext,
		goto_functionst &	functions )