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 80 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 95 of file NondeterministicBeliefTracker.cpp.

getBeliefMap()

template<typename ValueType>

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

(

)

const

Definition at line 164 of file NondeterministicBeliefTracker.cpp.

getRisk()

template<typename ValueType>

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

(

)

const

Get the weighted risk.

Returns

Definition at line 100 of file NondeterministicBeliefTracker.cpp.

getSupportSize()

template<typename ValueType>

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

(

)

const

Definition at line 159 of file NondeterministicBeliefTracker.cpp.

hash()

template<typename ValueType>

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

noexcept

Definition at line 105 of file NondeterministicBeliefTracker.cpp.

isValid()

template<typename ValueType>

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

(

)

const

Definition at line 110 of file NondeterministicBeliefTracker.cpp.

setSupport()

template<typename ValueType>

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

(

storm::storage::BitVector &

support

)

const

Definition at line 169 of file NondeterministicBeliefTracker.cpp.

toString()

template<typename ValueType>

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

(

)

const

Definition at line 115 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 154 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 132 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