storm::parser::ParameterRegionParser< ParametricType > Class Template Reference

#include <ParameterRegionParser.h>

Public Types
typedef storm::storage::ParameterRegion< ParametricType >::VariableType	VariableType
typedef storm::storage::ParameterRegion< ParametricType >::CoefficientType	CoefficientType
typedef storm::storage::ParameterRegion< ParametricType >::Valuation	Valuation

Static Public Member Functions
static void	parseParameterBoundaries (Valuation &lowerBoundaries, Valuation &upperBoundaries, std::string const &parameterBoundariesString, std::set< VariableType > const &consideredVariables)
static storm::storage::ParameterRegion< ParametricType >	parseRegion (std::string const &regionString, std::set< VariableType > const &consideredVariables)
static storm::storage::ParameterRegion< ParametricType >	createRegion (std::string const &regionBound, std::set< VariableType > const &consideredVariables)
static std::vector< storm::storage::ParameterRegion< ParametricType > >	parseMultipleRegions (std::string const &regionsString, std::set< VariableType > const &consideredVariables)
static std::vector< storm::storage::ParameterRegion< ParametricType > >	parseMultipleRegionsFromFile (std::string const &fileName, std::set< VariableType > const &consideredVariables)

Detailed Description

template<typename ParametricType>
class storm::parser::ParameterRegionParser< ParametricType >

Definition at line 10 of file ParameterRegionParser.h.

Member Typedef Documentation

CoefficientType

template<typename ParametricType>

typedef storm::storage::ParameterRegion<ParametricType>::CoefficientType storm::parser::ParameterRegionParser< ParametricType >::CoefficientType

Definition at line 13 of file ParameterRegionParser.h.

Valuation

template<typename ParametricType>

typedef storm::storage::ParameterRegion<ParametricType>::Valuation storm::parser::ParameterRegionParser< ParametricType >::Valuation

Definition at line 14 of file ParameterRegionParser.h.

VariableType

template<typename ParametricType>

typedef storm::storage::ParameterRegion<ParametricType>::VariableType storm::parser::ParameterRegionParser< ParametricType >::VariableType

Definition at line 12 of file ParameterRegionParser.h.

Member Function Documentation

createRegion()

template<typename ParametricType>

storm::storage::ParameterRegion< ParametricType > storm::parser::ParameterRegionParser< ParametricType >::createRegion ( std::string const & regionBound, std::set< VariableType > const & consideredVariables )

static

Definition at line 76 of file ParameterRegionParser.cpp.

parseMultipleRegions()

template<typename ParametricType>

std::vector< storm::storage::ParameterRegion< ParametricType > > storm::parser::ParameterRegionParser< ParametricType >::parseMultipleRegions ( std::string const & regionsString, std::set< VariableType > const & consideredVariables )

static

Definition at line 92 of file ParameterRegionParser.cpp.

parseMultipleRegionsFromFile()

template<typename ParametricType>

std::vector< storm::storage::ParameterRegion< ParametricType > > storm::parser::ParameterRegionParser< ParametricType >::parseMultipleRegionsFromFile ( std::string const & fileName, std::set< VariableType > const & consideredVariables )

static

Definition at line 106 of file ParameterRegionParser.cpp.

parseParameterBoundaries()

template<typename ParametricType>

void storm::parser::ParameterRegionParser< ParametricType >::parseParameterBoundaries ( Valuation & lowerBoundaries, Valuation & upperBoundaries, std::string const & parameterBoundariesString, std::set< VariableType > const & consideredVariables )

static

Definition at line 16 of file ParameterRegionParser.cpp.

parseRegion()

template<typename ParametricType>

storm::storage::ParameterRegion< ParametricType > storm::parser::ParameterRegionParser< ParametricType >::parseRegion ( std::string const & regionString, std::set< VariableType > const & consideredVariables )

static

Definition at line 53 of file ParameterRegionParser.cpp.

---

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

• src/storm-pars/parser/ParameterRegionParser.h
• src/storm-pars/parser/ParameterRegionParser.cpp