|
Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
#include "storm-parsers/util/cstring.h"#include <cstring>#include "storm/exceptions/WrongFormatException.h"#include "storm/utility/macros.h"
Go to the source code of this file.
Namespaces | |
| namespace | storm |
| 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. | |