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 180 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 182 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 39 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 186 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 43 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