cprover
Loading...
Searching...
No Matches
cpp_internal_additions.cpp File Reference
Include dependency graph for cpp_internal_additions.cpp:

Go to the source code of this file.

Functions

std::string c2cpp (const std::string &s)
void cpp_internal_additions (std::ostream &out)

Function Documentation

◆ c2cpp()

std::string c2cpp ( const std::string & s)

Definition at line 22 of file cpp_internal_additions.cpp.

◆ cpp_internal_additions()

void cpp_internal_additions ( std::ostream & out)

Definition at line 45 of file cpp_internal_additions.cpp.