storm::generator::BeliefStateManager< ValueType > Class Template Reference

This class keeps track of common information of a set of beliefs. More...

#include <NondeterministicBeliefTracker.h>

Public Member Functions
	BeliefStateManager (storm::models::sparse::Pomdp< ValueType > const &pomdp)
storm::models::sparse::Pomdp< ValueType > const &	getPomdp () const
uint64_t	getActionsForObservation (uint32_t observation) const
ValueType	getRisk (uint64_t) const
void	setRiskPerState (std::vector< ValueType > const &risk)
uint64_t	getFreshId ()
uint32_t	getObservation (uint64_t state) const
uint64_t	getObservationOffset (uint64_t state) const
uint64_t	getState (uint32_t obs, uint64_t offset) const
uint64_t	getNumberOfStates () const
uint64_t	numberOfStatesPerObservation (uint32_t observation) const

Detailed Description

template<typename ValueType>
class storm::generator::BeliefStateManager< ValueType >

This class keeps track of common information of a set of beliefs.

It also keeps a reference to the POMDP. The manager is referenced by all beliefs.

Definition at line 11 of file NondeterministicBeliefTracker.h.

Constructor & Destructor Documentation

BeliefStateManager()

template<typename ValueType >

storm::generator::BeliefStateManager< ValueType >::BeliefStateManager

(

storm::models::sparse::Pomdp< ValueType > const &

pomdp

)

Definition at line 13 of file NondeterministicBeliefTracker.cpp.

Member Function Documentation

getActionsForObservation()

template<typename ValueType >

uint64_t storm::generator::BeliefStateManager< ValueType >::getActionsForObservation

(

uint32_t

observation

)

const

Definition at line 34 of file NondeterministicBeliefTracker.cpp.

getFreshId()

template<typename ValueType >

uint64_t storm::generator::BeliefStateManager< ValueType >::getFreshId

(

)

Definition at line 54 of file NondeterministicBeliefTracker.cpp.

getNumberOfStates()

template<typename ValueType >

uint64_t storm::generator::BeliefStateManager< ValueType >::getNumberOfStates

(

)

const

Definition at line 29 of file NondeterministicBeliefTracker.cpp.

getObservation()

template<typename ValueType >

uint32_t storm::generator::BeliefStateManager< ValueType >::getObservation

(

uint64_t

state

)

const

Definition at line 24 of file NondeterministicBeliefTracker.cpp.

getObservationOffset()

template<typename ValueType >

uint64_t storm::generator::BeliefStateManager< ValueType >::getObservationOffset

(

uint64_t

state

)

const

Definition at line 60 of file NondeterministicBeliefTracker.cpp.

getPomdp()

template<typename ValueType >

storm::models::sparse::Pomdp< ValueType > const & storm::generator::BeliefStateManager< ValueType >::getPomdp

(

)

const

Definition at line 44 of file NondeterministicBeliefTracker.cpp.

getRisk()

template<typename ValueType >

ValueType storm::generator::BeliefStateManager< ValueType >::getRisk

(

uint64_t

state

)

const

Definition at line 39 of file NondeterministicBeliefTracker.cpp.

getState()

template<typename ValueType >

uint64_t storm::generator::BeliefStateManager< ValueType >::getState	(	uint32_t	obs,
		uint64_t	offset
	)		const

Definition at line 72 of file NondeterministicBeliefTracker.cpp.

numberOfStatesPerObservation()

template<typename ValueType >

uint64_t storm::generator::BeliefStateManager< ValueType >::numberOfStatesPerObservation

(

uint32_t

observation

)

const

Definition at line 66 of file NondeterministicBeliefTracker.cpp.

setRiskPerState()

template<typename ValueType >

void storm::generator::BeliefStateManager< ValueType >::setRiskPerState

(

std::vector< ValueType > const &

risk

)

Definition at line 49 of file NondeterministicBeliefTracker.cpp.

---

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

• src/storm-pomdp/generator/NondeterministicBeliefTracker.h
• src/storm-pomdp/generator/NondeterministicBeliefTracker.cpp