cprover
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.