storm::builder::RewardModelBuilder< ValueType > Class Template Reference

A structure that is used to keep track of a reward model currently being built. More...

#include <RewardModelBuilder.h>

Public Member Functions
	RewardModelBuilder (RewardModelInformation const &rewardModelInformation)
storm::models::sparse::StandardRewardModel< ValueType >	build (uint_fast64_t rowCount, uint_fast64_t columnCount, uint_fast64_t rowGroupCount)
std::string const &	getName () const
void	addStateReward (ValueType const &value)
void	addStateActionReward (ValueType const &value)
bool	hasStateRewards () const
bool	hasStateActionRewards () const

Detailed Description

template<typename ValueType>
class storm::builder::RewardModelBuilder< ValueType >

A structure that is used to keep track of a reward model currently being built.

Definition at line 21 of file RewardModelBuilder.h.

Constructor & Destructor Documentation

RewardModelBuilder()

template<typename ValueType >

storm::builder::RewardModelBuilder< ValueType >::RewardModelBuilder

(

RewardModelInformation const &

rewardModelInformation

)

Definition at line 14 of file RewardModelBuilder.cpp.

Member Function Documentation

addStateActionReward()

template<typename ValueType >

void storm::builder::RewardModelBuilder< ValueType >::addStateActionReward

(

ValueType const &

value

)

Definition at line 51 of file RewardModelBuilder.cpp.

addStateReward()

template<typename ValueType >

void storm::builder::RewardModelBuilder< ValueType >::addStateReward

(

ValueType const &

value

)

Definition at line 46 of file RewardModelBuilder.cpp.

build()

template<typename ValueType >

storm::models::sparse::StandardRewardModel< ValueType > storm::builder::RewardModelBuilder< ValueType >::build	(	uint_fast64_t	rowCount,
		uint_fast64_t	columnCount,
		uint_fast64_t	rowGroupCount
	)

Definition at line 24 of file RewardModelBuilder.cpp.

getName()

template<typename ValueType >

std::string const & storm::builder::RewardModelBuilder< ValueType >::getName

(

)

const

Definition at line 41 of file RewardModelBuilder.cpp.

hasStateActionRewards()

template<typename ValueType >

bool storm::builder::RewardModelBuilder< ValueType >::hasStateActionRewards

(

)

const

Definition at line 61 of file RewardModelBuilder.cpp.

hasStateRewards()

template<typename ValueType >

bool storm::builder::RewardModelBuilder< ValueType >::hasStateRewards

(

)

const

Definition at line 56 of file RewardModelBuilder.cpp.

---

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

• src/storm/builder/ExplicitModelBuilder.h
• src/storm/builder/RewardModelBuilder.h
• src/storm/builder/RewardModelBuilder.cpp