|
Storm 1.11.1.1
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. | |