|
cprover
|
#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) |
| std::size_t safe_string2size_t | ( | const std::string & | str, |
| int | base = 10 |
||
| ) |
Definition at line 59 of file string2int.cpp.
| unsigned safe_string2unsigned | ( | const std::string & | str, |
| int | base = 10 |
||
| ) |
Definition at line 54 of file string2int.cpp.
| int unsafe_string2int | ( | const std::string & | str, |
| int | base = 10 |
||
| ) |
Definition at line 64 of file string2int.cpp.
| long long int unsafe_string2signedlonglong | ( | const std::string & | str, |
| int | base = 10 |
||
| ) |
Definition at line 79 of file string2int.cpp.
| std::size_t unsafe_string2size_t | ( | const std::string & | str, |
| int | base = 10 |
||
| ) |
Definition at line 74 of file string2int.cpp.
| unsigned unsafe_string2unsigned | ( | const std::string & | str, |
| int | base = 10 |
||
| ) |
Definition at line 69 of file string2int.cpp.
| long long unsigned int unsafe_string2unsignedlonglong | ( | const std::string & | str, |
| int | base = 10 |
||
| ) |
Definition at line 86 of file string2int.cpp.