docs/api/esbmc__internal__cpp_8h_source.html

#include <sstream>


namespace esbmct

{

const std::string &abstract_cpp_includes();


void register_bundled_cpp();

} // namespace esbmct


esbmct
Containers and field-walking infrastructure for irep2 nodes.
Definition esbmc_internal_cpp.h:3

esbmct::abstract_cpp_includes
const std::string & abstract_cpp_includes()
Definition esbmc_internal_cpp.cpp:26

esbmct::register_bundled_cpp
void register_bundled_cpp()
Registers the bundled C++ operational models with file_operations.
Definition esbmc_internal_cpp.cpp:12