esbmc_internal_cpp.h File Reference

#include <sstream>

Include dependency graph for esbmc_internal_cpp.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	esbmct
	Containers and field-walking infrastructure for irep2 nodes.

Functions
const std::string &	esbmct::abstract_cpp_includes ()
void	esbmct::register_bundled_cpp ()
	Registers the bundled C++ operational models with file_operations.