Loading...

Searching...

No Matches

Macros | Functions

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.