Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
cstring.h File Reference
#include <cstdint>
Include dependency graph for cstring.h:
This graph shows which files directly or indirectly include this file:

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.