storm::builder::ParameterCreator< Type, ValueType > Class Template Reference

Public Member Functions
void	create (storm::jani::Model const &, storm::adapters::AddExpressionAdapter< Type, ValueType > &)
std::set< storm::RationalFunctionVariable > const &	getParameters () const
void	create (storm::prism::Program const &, storm::adapters::AddExpressionAdapter< Type, ValueType > &)
std::set< storm::RationalFunctionVariable > const &	getParameters () const

Detailed Description

template<storm::dd::DdType Type, typename ValueType>
class storm::builder::ParameterCreator< Type, ValueType >

Definition at line 168 of file DdJaniModelBuilder.cpp.

Member Function Documentation

create() [1/2]

template<storm::dd::DdType Type, typename ValueType>

void storm::builder::ParameterCreator< Type, ValueType >::create ( storm::jani::Model const & , storm::adapters::AddExpressionAdapter< Type, ValueType > &  )

inline

Definition at line 170 of file DdJaniModelBuilder.cpp.

create() [2/2]

template<storm::dd::DdType Type, typename ValueType>

void storm::builder::ParameterCreator< Type, ValueType >::create ( storm::prism::Program const & , storm::adapters::AddExpressionAdapter< Type, ValueType > &  )

inline

Definition at line 28 of file DdPrismModelBuilder.cpp.

getParameters() [1/2]

template<storm::dd::DdType Type, typename ValueType>

std::set< storm::RationalFunctionVariable > const & storm::builder::ParameterCreator< Type, ValueType >::getParameters ( ) const

inline

Definition at line 174 of file DdJaniModelBuilder.cpp.

getParameters() [2/2]

template<storm::dd::DdType Type, typename ValueType>

std::set< storm::RationalFunctionVariable > const & storm::builder::ParameterCreator< Type, ValueType >::getParameters ( ) const

inline

Definition at line 32 of file DdPrismModelBuilder.cpp.

---

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

• src/storm/builder/DdJaniModelBuilder.cpp
• src/storm/builder/DdPrismModelBuilder.cpp