#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 5 |
Functions | |
| bool | write_goto_binary (std::ostream &out, const goto_modelt &, int version=5) |
| Writes a goto program to disc. More... | |
| bool | write_goto_binary (std::ostream &out, const symbol_tablet &, const goto_functionst &, int version=5) |
| 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 5 |
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 & | , | ||
| message_handlert & | |||
| ) |
Writes a goto program to disc.
Definition at line 167 of file write_goto_binary.cpp.
◆ write_goto_binary() [2/3]
| bool write_goto_binary | ( | std::ostream & | out, |
| const goto_modelt & | , | ||
| int | version = 5 |
||
| ) |
Writes a goto program to disc.
Definition at line 128 of file write_goto_binary.cpp.
◆ write_goto_binary() [3/3]
| bool write_goto_binary | ( | std::ostream & | out, |
| const symbol_tablet & | , | ||
| const goto_functionst & | , | ||
| int | version = 5 |
||
| ) |
Writes a goto program to disc.
Definition at line 141 of file write_goto_binary.cpp.
