storm::utility::ModelInstantiator< ParametricSparseModelType, ConstantSparseModelType > Class Template Reference

This class allows efficient instantiation of the given parametric model. More...

#include <ModelInstantiator.h>

Public Types
typedef ParametricSparseModelType::ValueType	ParametricType
typedef storm::utility::parametric::VariableType< ParametricType >::type	VariableType
typedef storm::utility::parametric::CoefficientType< ParametricType >::type	CoefficientType
typedef ConstantSparseModelType::ValueType	ConstantType

Public Member Functions
	ModelInstantiator (ParametricSparseModelType const &parametricModel)
	Constructs a ModelInstantiator.
virtual	~ModelInstantiator ()
	Destructs the ModelInstantiator.
ConstantSparseModelType const &	instantiate (storm::utility::parametric::Valuation< ParametricType > const &valuation)
	Evaluates the occurring parametric functions and retrieves the instantiated model.
void	checkValid () const
	Check validity.

Detailed Description

template<typename ParametricSparseModelType, typename ConstantSparseModelType>
class storm::utility::ModelInstantiator< ParametricSparseModelType, ConstantSparseModelType >

This class allows efficient instantiation of the given parametric model.

The key to efficiency is to evaluate every distinct transition- (or reward-) function only once instead of evaluating the same function for each occurrence in the model.

Definition at line 25 of file ModelInstantiator.h.

Member Typedef Documentation

CoefficientType

template<typename ParametricSparseModelType , typename ConstantSparseModelType >

typedef storm::utility::parametric::CoefficientType<ParametricType>::type storm::utility::ModelInstantiator< ParametricSparseModelType, ConstantSparseModelType >::CoefficientType

Definition at line 29 of file ModelInstantiator.h.

ConstantType

template<typename ParametricSparseModelType , typename ConstantSparseModelType >

typedef ConstantSparseModelType::ValueType storm::utility::ModelInstantiator< ParametricSparseModelType, ConstantSparseModelType >::ConstantType

Definition at line 30 of file ModelInstantiator.h.

ParametricType

template<typename ParametricSparseModelType , typename ConstantSparseModelType >

typedef ParametricSparseModelType::ValueType storm::utility::ModelInstantiator< ParametricSparseModelType, ConstantSparseModelType >::ParametricType

Definition at line 27 of file ModelInstantiator.h.

VariableType

template<typename ParametricSparseModelType , typename ConstantSparseModelType >

typedef storm::utility::parametric::VariableType<ParametricType>::type storm::utility::ModelInstantiator< ParametricSparseModelType, ConstantSparseModelType >::VariableType

Definition at line 28 of file ModelInstantiator.h.

Constructor & Destructor Documentation

ModelInstantiator()

template<typename ParametricSparseModelType , typename ConstantSparseModelType >

storm::utility::ModelInstantiator< ParametricSparseModelType, ConstantSparseModelType >::ModelInstantiator

(

ParametricSparseModelType const &

parametricModel

)

Constructs a ModelInstantiator.

Parameters

parametricModel

The model that is to be instantiated

Definition at line 10 of file ModelInstantiator.cpp.

~ModelInstantiator()

template<typename ParametricSparseModelType , typename ConstantType >

storm::utility::ModelInstantiator< ParametricSparseModelType, ConstantType >::~ModelInstantiator ( )

virtual

Destructs the ModelInstantiator.

Definition at line 32 of file ModelInstantiator.cpp.

Member Function Documentation

checkValid()

template<typename ParametricSparseModelType , typename ConstantSparseModelType >

void storm::utility::ModelInstantiator< ParametricSparseModelType, ConstantSparseModelType >::checkValid

(

)

const

Check validity.

Definition at line 160 of file ModelInstantiator.cpp.

instantiate()

template<typename ParametricSparseModelType , typename ConstantSparseModelType >

ConstantSparseModelType const & storm::utility::ModelInstantiator< ParametricSparseModelType, ConstantSparseModelType >::instantiate

(

storm::utility::parametric::Valuation< ParametricType > const &

valuation

)

Evaluates the occurring parametric functions and retrieves the instantiated model.

Parameters

valuation

Maps each occurring variables to the value with which it should be substituted

Returns

The instantiated model

Definition at line 143 of file ModelInstantiator.cpp.

---

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

• src/storm-pars/utility/ModelInstantiator.h
• src/storm-pars/utility/ModelInstantiator.cpp