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 9 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 14 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 19 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 24 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 44 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 39 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 49 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 59 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 54 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 69 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 64 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 29 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 34 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