12 #ifndef CPROVER_ANSI_C_LITERALS_UNESCAPE_STRING_H 13 #define CPROVER_ANSI_C_LITERALS_UNESCAPE_STRING_H 23 #endif // CPROVER_ANSI_C_LITERALS_UNESCAPE_STRING_H std::string unescape_string(const std::string &)
std::basic_string< unsigned int > 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)