cprover
string2int.h File Reference
#include <string>
Include dependency graph for string2int.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

unsigned safe_string2unsigned (const std::string &str, int base=10)
 
std::size_t safe_string2size_t (const std::string &str, int base=10)
 
int unsafe_string2int (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)
 
long long int unsafe_string2signedlonglong (const std::string &str, int base=10)
 
long long unsigned int unsafe_string2unsignedlonglong (const std::string &str, int base=10)
 

Function Documentation

◆ safe_string2size_t()

std::size_t safe_string2size_t ( const std::string &  str,
int  base = 10 
)

Definition at line 59 of file string2int.cpp.

◆ safe_string2unsigned()

◆ unsafe_string2int()

◆ unsafe_string2signedlonglong()

long long int unsafe_string2signedlonglong ( const std::string &  str,
int  base = 10 
)

Definition at line 79 of file string2int.cpp.

Referenced by irept::get_long_long().

◆ unsafe_string2size_t()

std::size_t unsafe_string2size_t ( const std::string &  str,
int  base = 10 
)

Definition at line 74 of file string2int.cpp.

Referenced by irept::get_size_t(), and smt2_convt::parse_literal().

◆ unsafe_string2unsigned()

◆ unsafe_string2unsignedlonglong()

long long unsigned int unsafe_string2unsignedlonglong ( const std::string &  str,
int  base = 10 
)

Definition at line 86 of file string2int.cpp.