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

SparseBeliefState stores beliefs in a sparse format. More...

#include <NondeterministicBeliefTracker.h>

Public Member Functions
	SparseBeliefState (std::shared_ptr< BeliefStateManager< ValueType > > const &manager, uint64_t state)
void	update (uint32_t newObservation, std::unordered_set< SparseBeliefState > &previousBeliefs) const
	Update the belief using the new observation.
std::size_t	hash () const noexcept
ValueType	get (uint64_t state) const
	Get the estimate to be in the given state.
ValueType	getRisk () const
	Get the weighted risk.
std::string	toString () const
bool	isValid () const
uint64_t	getSupportSize () const
void	setSupport (storm::storage::BitVector &) const
std::map< uint64_t, ValueType > const &	getBeliefMap () const

Friends
bool	operator== (SparseBeliefState< ValueType > const &lhs, SparseBeliefState< ValueType > const &rhs)

Detailed Description

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

SparseBeliefState stores beliefs in a sparse format.

Definition at line 43 of file NondeterministicBeliefTracker.h.

Constructor & Destructor Documentation

SparseBeliefState()

template<typename ValueType >

storm::generator::SparseBeliefState< ValueType >::SparseBeliefState	(	std::shared_ptr< BeliefStateManager< ValueType > > const &	manager,
		uint64_t	state
	)

Definition at line 79 of file NondeterministicBeliefTracker.cpp.

Member Function Documentation

get()

template<typename ValueType >

ValueType storm::generator::SparseBeliefState< ValueType >::get

(

uint64_t

state

)

const

Get the estimate to be in the given state.

Parameters

state

Returns

Definition at line 94 of file NondeterministicBeliefTracker.cpp.

getBeliefMap()

template<typename ValueType >

std::map< uint64_t, ValueType > const & storm::generator::SparseBeliefState< ValueType >::getBeliefMap

(

)

const

Definition at line 163 of file NondeterministicBeliefTracker.cpp.

getRisk()

template<typename ValueType >

ValueType storm::generator::SparseBeliefState< ValueType >::getRisk

(

)

const

Get the weighted risk.

Returns

Definition at line 99 of file NondeterministicBeliefTracker.cpp.

getSupportSize()

template<typename ValueType >

uint64_t storm::generator::SparseBeliefState< ValueType >::getSupportSize

(

)

const

Definition at line 158 of file NondeterministicBeliefTracker.cpp.

hash()

template<typename ValueType >

std::size_t storm::generator::SparseBeliefState< ValueType >::hash ( ) const

noexcept

Definition at line 104 of file NondeterministicBeliefTracker.cpp.

isValid()

template<typename ValueType >

bool storm::generator::SparseBeliefState< ValueType >::isValid

(

)

const

Definition at line 109 of file NondeterministicBeliefTracker.cpp.

setSupport()

template<typename ValueType >

void storm::generator::SparseBeliefState< ValueType >::setSupport

(

storm::storage::BitVector &

support

)

const

Definition at line 168 of file NondeterministicBeliefTracker.cpp.

toString()

template<typename ValueType >

std::string storm::generator::SparseBeliefState< ValueType >::toString

(

)

const

Definition at line 114 of file NondeterministicBeliefTracker.cpp.

update()

template<typename ValueType >

void storm::generator::SparseBeliefState< ValueType >::update	(	uint32_t	newObservation,
		std::unordered_set< SparseBeliefState< ValueType > > &	previousBeliefs
	)		const

Update the belief using the new observation.

Parameters

newObservation
previousBeliefs	put the new belief in this set

Definition at line 153 of file NondeterministicBeliefTracker.cpp.

Friends And Related Symbol Documentation

operator==

template<typename ValueType >

bool operator== ( SparseBeliefState< ValueType > const &  lhs, SparseBeliefState< ValueType > const &  rhs  )

friend

Definition at line 131 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