cprover
|
Dump Goto-Program as C/C++ Source. More...
#include <set>
#include <string>
#include <memory>
#include <langapi/language.h>
#include <langapi/mode.h>
#include <goto-programs/system_library_symbols.h>
Go to the source code of this file.
Classes | |
struct | dump_c_configurationt |
Used for configuring the behaviour of dump_c. More... | |
class | dump_ct |
struct | dump_ct::typedef_infot |
Dump Goto-Program as C/C++ Source.
Definition in file dump_c_class.h.