10 #ifndef CPROVER_UTIL_STRING2INT_H 11 #define CPROVER_UTIL_STRING2INT_H 31 const std::string &str,
int base=10);
33 #endif // CPROVER_UTIL_STRING2INT_H long long unsigned int unsafe_string2unsignedlonglong(const std::string &str, int base=10)
int unsafe_string2int(const std::string &str, int base=10)
unsigned safe_string2unsigned(const std::string &str, int base=10)
std::size_t safe_string2size_t(const std::string &str, int base=10)
long long int unsafe_string2signedlonglong(const std::string &str, int base=10)
unsigned unsafe_string2unsigned(const std::string &str, int base=10)
std::size_t unsafe_string2size_t(const std::string &str, int base=10)