|
Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
#include <cstddef>#include <string>#include <type_traits>#include "storm/adapters/RationalFunctionForward.h"#include "storm/storage/expressions/ExpressionManager.h"

Go to the source code of this file.
Classes | |
| class | storm::parser::ValueParser< ValueType > |
| Parser for values according to their ValueType. More... | |
Namespaces | |
| namespace | storm |
| LabParser.cpp. | |
| namespace | storm::expressions |
| namespace | storm::parser |
| Contains all file parsers and helper classes. | |
Functions | |
| template<typename NumberType > | |
| NumberType | storm::parser::parseNumber (std::string const &value) |
| Parse number from string. | |
| template<typename NumberType > | |
| bool | storm::parser::parseNumber (std::string const &value, NumberType &result) |
| Parse number from string. | |