Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Types | Static Public Member Functions | List of all members
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 75 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 15 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 52 of file ParameterRegionParser.cpp.

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