cprover
read_goto_object.h File Reference

Read goto object files. More...

Include dependency graph for read_goto_object.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

bool read_goto_object (std::istream &in, const std::string &filename, symbol_tablet &symbol_table, goto_functionst &functions, message_handlert &msg_hndlr)
 reads a goto object xml file back into a symbol and a function table More...
 

Detailed Description

Read goto object files.

Definition in file read_goto_object.h.

Function Documentation

§ read_goto_object()

bool read_goto_object ( std::istream &  in,
const std::string &  filename,
symbol_tablet symbol_table,
goto_functionst functions,
message_handlert message_handler 
)