CBMC
|
ANSI-C Language Conversion. More...
#include <string>
Go to the source code of this file.
Functions | |
std::string | unescape_string (const std::string &) |
std::basic_string< char32_t > | unescape_wide_string (const std::string &) |
unsigned | hex_to_unsigned (const char *, std::size_t digits) |
unsigned | octal_to_unsigned (const char *, std::size_t digits) |
ANSI-C Language Conversion.
Definition in file unescape_string.h.
Definition at line 160 of file unescape_string.cpp.
Definition at line 182 of file unescape_string.cpp.
std::string unescape_string | ( | const std::string & | src | ) |
Definition at line 150 of file unescape_string.cpp.
Definition at line 155 of file unescape_string.cpp.