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

#include <StateBehavior.h>

Public Member Functions
	StateBehavior ()
	Creates an empty behavior, i.e.
void	addChoice (Choice< ValueType, StateType > &&choice)
	Adds the given choice to the behavior of the state.
void	addStateReward (ValueType const &stateReward)
	Adds the given state reward to the behavior of the state.
void	addStateRewards (std::vector< ValueType > &&stateRewards)
	Adds the given state rewards to the behavior of the state.
void	setExpanded (bool newValue=true)
	Sets whether the state was expanded.
bool	wasExpanded () const
	Retrieves whether the state was expanded.
bool	empty () const
	Retrieves whether the behavior is empty in the sense that there are no available choices.
std::vector< Choice< ValueType, StateType > >::const_iterator	begin () const
	Retrieves an iterator to the choices available in the behavior.
std::vector< Choice< ValueType, StateType > >::const_iterator	end () const
	Retrieves an iterator past the choices available in the behavior.
std::vector< Choice< ValueType, StateType > > const &	getChoices () const
	Retrieves the vector of choices.
std::vector< Choice< ValueType, StateType > > &	getChoices ()
	Retrieves the vector of choices.
std::vector< ValueType > const &	getStateRewards () const
	Retrieves the list of state rewards under selected reward models.
std::size_t	getNumberOfChoices () const
	Retrieves the number of choices in the behavior.

Detailed Description

template<typename ValueType, typename StateType = uint32_t>
class storm::generator::StateBehavior< ValueType, StateType >

Definition at line 12 of file StateBehavior.h.

Constructor & Destructor Documentation

StateBehavior()

template<typename ValueType , typename StateType >

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

(

)

Creates an empty behavior, i.e.

the state was not yet expanded.

Definition at line 11 of file StateBehavior.cpp.

Member Function Documentation

addChoice()

template<typename ValueType , typename StateType >

void storm::generator::StateBehavior< ValueType, StateType >::addChoice

(

Choice< ValueType, StateType > &&

choice

)

Adds the given choice to the behavior of the state.

Definition at line 16 of file StateBehavior.cpp.

addStateReward()

template<typename ValueType , typename StateType >

void storm::generator::StateBehavior< ValueType, StateType >::addStateReward

(

ValueType const &

stateReward

)

Adds the given state reward to the behavior of the state.

Definition at line 21 of file StateBehavior.cpp.

addStateRewards()

template<typename ValueType , typename StateType >

void storm::generator::StateBehavior< ValueType, StateType >::addStateRewards

(

std::vector< ValueType > &&

stateRewards

)

Adds the given state rewards to the behavior of the state.

Definition at line 26 of file StateBehavior.cpp.

begin()

template<typename ValueType , typename StateType >

std::vector< Choice< ValueType, StateType > >::const_iterator storm::generator::StateBehavior< ValueType, StateType >::begin

(

)

const

Retrieves an iterator to the choices available in the behavior.

Definition at line 46 of file StateBehavior.cpp.

empty()

template<typename ValueType , typename StateType >

bool storm::generator::StateBehavior< ValueType, StateType >::empty

(

)

const

Retrieves whether the behavior is empty in the sense that there are no available choices.

Definition at line 41 of file StateBehavior.cpp.

end()

template<typename ValueType , typename StateType >

std::vector< Choice< ValueType, StateType > >::const_iterator storm::generator::StateBehavior< ValueType, StateType >::end

(

)

const

Retrieves an iterator past the choices available in the behavior.

Definition at line 51 of file StateBehavior.cpp.

getChoices() [1/2]

template<typename ValueType , typename StateType >

std::vector< Choice< ValueType, StateType > > & storm::generator::StateBehavior< ValueType, StateType >::getChoices

(

)

Retrieves the vector of choices.

Definition at line 61 of file StateBehavior.cpp.

getChoices() [2/2]

template<typename ValueType , typename StateType >

std::vector< Choice< ValueType, StateType > > const & storm::generator::StateBehavior< ValueType, StateType >::getChoices

(

)

const

Retrieves the vector of choices.

Definition at line 56 of file StateBehavior.cpp.

getNumberOfChoices()

template<typename ValueType , typename StateType >

std::size_t storm::generator::StateBehavior< ValueType, StateType >::getNumberOfChoices

(

)

const

Retrieves the number of choices in the behavior.

Definition at line 71 of file StateBehavior.cpp.

getStateRewards()

template<typename ValueType , typename StateType >

std::vector< ValueType > const & storm::generator::StateBehavior< ValueType, StateType >::getStateRewards

(

)

const

Retrieves the list of state rewards under selected reward models.

Definition at line 66 of file StateBehavior.cpp.

setExpanded()

template<typename ValueType , typename StateType >

void storm::generator::StateBehavior< ValueType, StateType >::setExpanded

(

bool

newValue = true

)

Sets whether the state was expanded.

Definition at line 31 of file StateBehavior.cpp.

wasExpanded()

template<typename ValueType , typename StateType >

bool storm::generator::StateBehavior< ValueType, StateType >::wasExpanded

(

)

const

Retrieves whether the state was expanded.

Definition at line 36 of file StateBehavior.cpp.

---

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

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