Storm
A Modern Probabilistic Model Checker
|
#include <cstdint>
Go to the source code of this file.
Namespaces | |
namespace | storm |
LabParser.cpp. | |
namespace | storm::utility |
namespace | storm::utility::cstring |
Functions | |
uint_fast64_t | storm::utility::cstring::checked_strtol (char const *str, char const **end) |
Calls strtol() internally and checks if the new pointer is different from the original one, i.e. | |
double | storm::utility::cstring::checked_strtod (char const *str, char const **end) |
Calls strtod() internally and checks if the new pointer is different from the original one, i.e. | |
char const * | storm::utility::cstring::skipWord (char const *buf) |
Skips all numbers, letters and special characters. | |
char const * | storm::utility::cstring::trimWhitespaces (char const *buf) |
Skips spaces, tabs, newlines and carriage returns. | |
char const * | storm::utility::cstring::forwardToLineEnd (char const *buffer) |
Encapsulates the usage of function @strcspn to forward to the end of the line (next char is the newline character). | |
char const * | storm::utility::cstring::forwardToNextLine (char const *buffer) |
Encapsulates the usage of function @strchr to forward to the next line. | |