write_goto_binary.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Write GOTO binaries
 
Author: CM Wintersteiger
 
\*******************************************************************/
 
 
#ifndef CPROVER_GOTO_PROGRAMS_WRITE_GOTO_BINARY_H
#define CPROVER_GOTO_PROGRAMS_WRITE_GOTO_BINARY_H
 
#define GOTO_BINARY_VERSION 6
 
#include <iosfwd>
#include <string>
 
class goto_functionst;
class goto_modelt;
class message_handlert;
class symbol_table_baset;
 
bool write_goto_binary(
  std::ostream &out,
  const goto_modelt &,
  int version=GOTO_BINARY_VERSION);
 
bool write_goto_binary(
  std::ostream &out,
  const symbol_table_baset &,
  const goto_functionst &,
  int version = GOTO_BINARY_VERSION);
 
bool write_goto_binary(
  const std::string &filename,
  const goto_modelt &,
  message_handlert &);
 
#endif // CPROVER_GOTO_PROGRAMS_WRITE_GOTO_BINARY_H