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