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

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

void storm::parser::ValueParser< storm::RationalFunction >::addParameter ( std::string const & parameter )

Definition at line 33 of file ValueParser.cpp.

template<typename ValueType >

void storm::parser::ValueParser< ValueType >::addParameter ( std::string const & parameter )

Add declaration of parameter.

Parameters

parameter New parameter.

Definition at line 28 of file ValueParser.cpp.

storm::RationalFunction storm::parser::ValueParser< storm::RationalFunction >::parseValue ( std::string const & value ) const

Definition at line 41 of file ValueParser.cpp.

template<typename ValueType >

ValueType storm::parser::ValueParser< ValueType >::parseValue ( std::string const & value ) const

Parse ValueType from string.

Parameters

value String containing the value.

Definition at line 48 of file ValueParser.cpp.

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