Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
ReadValues.h
Go to the documentation of this file.
1#pragma once
2
3#include "storm-parsers/util/cstring.h"
4
5namespace storm {
6namespace parser {
7
8template<typename T>
9T readValue(char const* buf);
10
11template<>
12inline double readValue<double>(char const* buf) {
13 return utility::cstring::checked_strtod(buf, &buf);
14}
15
16} // namespace parser
17} // namespace storm
storm::parser::readValue
T readValue(char const *buf)
storm::parser::readValue< double >
double readValue< double >(char const *buf)
Definition ReadValues.h:12
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