cprover
write_goto_binary.cpp File Reference

Write GOTO binaries. More...

#include "write_goto_binary.h"
#include <fstream>
#include <util/exception_utils.h>
#include <util/invariant.h>
#include <util/irep_serialization.h>
#include <util/message.h>
#include <util/symbol_table.h>
#include <goto-programs/goto_model.h>
+ Include dependency graph for write_goto_binary.cpp:

Go to the source code of this file.

Functions

bool write_goto_binary (std::ostream &out, const symbol_tablet &symbol_table, const goto_functionst &goto_functions, irep_serializationt &irepconverter)
 Writes a goto program to disc, using goto binary format. More...
 
bool write_goto_binary (std::ostream &out, const goto_modelt &goto_model, int version)
 Writes a goto program to disc. More...
 
bool write_goto_binary (std::ostream &out, const symbol_tablet &symbol_table, const goto_functionst &goto_functions, int version)
 Writes a goto program to disc. More...
 
bool write_goto_binary (const std::string &filename, const goto_modelt &goto_model, message_handlert &message_handler)
 Writes a goto program to disc. More...
 

Detailed Description

Write GOTO binaries.

Definition in file write_goto_binary.cpp.

Function Documentation

◆ write_goto_binary() [1/4]

bool write_goto_binary ( std::ostream &  out,
const symbol_tablet symbol_table,
const goto_functionst goto_functions,
irep_serializationt irepconverter 
)

Writes a goto program to disc, using goto binary format.

Definition at line 25 of file write_goto_binary.cpp.

◆ write_goto_binary() [2/4]

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

Writes a goto program to disc.

Definition at line 125 of file write_goto_binary.cpp.

◆ write_goto_binary() [3/4]

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

Writes a goto program to disc.

Definition at line 138 of file write_goto_binary.cpp.

◆ write_goto_binary() [4/4]

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 164 of file write_goto_binary.cpp.