storm::transformer::AddUncertainty< ValueType > Class Template Reference

This class is a convenience transformer to add uncertainty. More...

#include <AddUncertainty.h>

Public Member Functions
	AddUncertainty (std::shared_ptr< storm::models::sparse::Model< ValueType > > const &originalModel)
std::shared_ptr< storm::models::sparse::Model< Interval > >	transform (double additiveUncertainty, double minimalValue=0.0001)

Detailed Description

template<typename ValueType>
class storm::transformer::AddUncertainty< ValueType >

This class is a convenience transformer to add uncertainty.

We currently support only one type of self-defined uncertainty, although additional types of uncertainty are imaginable. The transformer does maintain reward models, state labels, state valuations, choice labels and choice origins.

Template Parameters

ValueType

Definition at line 13 of file AddUncertainty.h.

Constructor & Destructor Documentation

AddUncertainty()

template<typename ValueType >

storm::transformer::AddUncertainty< ValueType >::AddUncertainty

(

std::shared_ptr< storm::models::sparse::Model< ValueType > > const &

originalModel

)

Definition at line 15 of file AddUncertainty.cpp.

Member Function Documentation

transform()

template<typename ValueType >

std::shared_ptr< storm::models::sparse::Model< Interval > > storm::transformer::AddUncertainty< ValueType >::transform	(	double	additiveUncertainty,
		double	minimalValue = 0.0001
	)

Definition at line 18 of file AddUncertainty.cpp.

---

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

• src/storm/transformer/AddUncertainty.h
• src/storm/transformer/AddUncertainty.cpp