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