storm::parser::ValueParser< ValueType > Class Template Reference

Parser for values according to their ValueType. More...

#include <ValueParser.h>

Public Member Functions
ValueType	parseValue (std::string const &value) const
	Parse ValueType from string.
void	addParameter (std::string const &parameter)
	Add declaration of parameter.
void	addParameter (std::string const &parameter)
storm::RationalFunction	parseValue (std::string const &value) const

Detailed Description

template<typename ValueType>
class storm::parser::ValueParser< ValueType >

Parser for values according to their ValueType.

Definition at line 23 of file ValueParser.h.

Member Function Documentation

addParameter() [1/2]

void storm::parser::ValueParser< storm::RationalFunction >::addParameter

(

std::string const &

parameter

)

Definition at line 35 of file ValueParser.cpp.

addParameter() [2/2]

template<typename ValueType>

void storm::parser::ValueParser< ValueType >::addParameter

(

std::string const &

parameter

)

Add declaration of parameter.

Parameters

parameter

New parameter.

Definition at line 30 of file ValueParser.cpp.

parseValue() [1/2]

storm::RationalFunction storm::parser::ValueParser< storm::RationalFunction >::parseValue

(

std::string const &

value

)

const

Definition at line 43 of file ValueParser.cpp.

parseValue() [2/2]

template<typename ValueType>

ValueType storm::parser::ValueParser< ValueType >::parseValue

(

std::string const &

value

)

const

Parse ValueType from string.

Parameters

value

String containing the value.

Returns

ValueType

Definition at line 50 of file ValueParser.cpp.

---

The documentation for this class was generated from the following files:

• src/storm-parsers/parser/ValueParser.h
• src/storm-parsers/parser/ValueParser.cpp