Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
ReadValues.h
Go to the documentation of this file.
1#ifndef _STORM_PARSER_READVALUES_H
2#define _STORM_PARSER_READVALUES_H
3
4#include "storm-parsers/util/cstring.h"
5
6namespace storm {
7namespace parser {
8
9template<typename T>
10T readValue(char const* buf);
11
12template<>
13double readValue<double>(char const* buf) {
14 return utility::cstring::checked_strtod(buf, &buf);
15}
16
17} // namespace parser
18} // namespace storm
19
20#endif
storm::parser::readValue
T readValue(char const *buf)
storm::parser::readValue< double >
double readValue< double >(char const *buf)
Definition ReadValues.h:13
storm::utility::cstring::checked_strtod
double checked_strtod(char const *str, char const **end)
Calls strtod() internally and checks if the new pointer is different from the original one,...
Definition cstring.cpp:39
storm
LabParser.cpp.
Definition cli.cpp:18