storm::generator::DistributionEntry< StateType, ValueType > Class Template Reference

#include <DistributionEntry.h>

Public Member Functions
	DistributionEntry ()
	DistributionEntry (StateType const &state, ValueType const &value)
StateType const &	getState () const
ValueType const &	getValue () const
void	addToValue (ValueType const &value)
void	divide (ValueType const &value)

Detailed Description

template<typename StateType, typename ValueType>
class storm::generator::DistributionEntry< StateType, ValueType >

Definition at line 6 of file DistributionEntry.h.

Constructor & Destructor Documentation

DistributionEntry() [1/2]

template<typename StateType , typename ValueType >

storm::generator::DistributionEntry< StateType, ValueType >::DistributionEntry

(

)

Definition at line 10 of file DistributionEntry.cpp.

DistributionEntry() [2/2]

template<typename StateType , typename ValueType >

storm::generator::DistributionEntry< StateType, ValueType >::DistributionEntry	(	StateType const &	state,
		ValueType const &	value
	)

Definition at line 15 of file DistributionEntry.cpp.

Member Function Documentation

addToValue()

template<typename StateType , typename ValueType >

void storm::generator::DistributionEntry< StateType, ValueType >::addToValue

(

ValueType const &

value

)

Definition at line 30 of file DistributionEntry.cpp.

divide()

template<typename StateType , typename ValueType >

void storm::generator::DistributionEntry< StateType, ValueType >::divide

(

ValueType const &

value

)

Definition at line 35 of file DistributionEntry.cpp.

getState()

template<typename StateType , typename ValueType >

StateType const & storm::generator::DistributionEntry< StateType, ValueType >::getState

(

)

const

Definition at line 20 of file DistributionEntry.cpp.

getValue()

template<typename StateType , typename ValueType >

ValueType const & storm::generator::DistributionEntry< StateType, ValueType >::getValue

(

)

const

Definition at line 25 of file DistributionEntry.cpp.

---

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

• src/storm/generator/DistributionEntry.h
• src/storm/generator/DistributionEntry.cpp