storm::pomdp::IterativePolicySearch< ValueType > Class Template Reference

#include <IterativePolicySearch.h>

Classes
class	Statistics

Public Member Functions
	IterativePolicySearch (storm::models::sparse::Pomdp< ValueType > const &pomdp, storm::storage::BitVector const &targetStates, storm::storage::BitVector const &surelyReachSinkStates, std::shared_ptr< storm::utility::solver::SmtSolverFactory > &smtSolverFactory, MemlessSearchOptions const &options)
bool	analyzeForInitialStates (uint64_t k)
void	computeWinningRegion (uint64_t k)
WinningRegion const &	getLastWinningRegion () const
uint64_t	getOffsetFromObservation (uint64_t state, uint64_t observation) const
bool	analyze (uint64_t k, storm::storage::BitVector const &oneOfTheseStates, storm::storage::BitVector const &allOfTheseStates=storm::storage::BitVector())
Statistics const &	getStatistics () const
void	finalizeStatistics ()

Detailed Description

template<typename ValueType>
class storm::pomdp::IterativePolicySearch< ValueType >

Definition at line 112 of file IterativePolicySearch.h.

Constructor & Destructor Documentation

IterativePolicySearch()

template<typename ValueType>

storm::pomdp::IterativePolicySearch< ValueType >::IterativePolicySearch	(	storm::models::sparse::Pomdp< ValueType > const &	pomdp,
		storm::storage::BitVector const &	targetStates,
		storm::storage::BitVector const &	surelyReachSinkStates,
		std::shared_ptr< storm::utility::solver::SmtSolverFactory > &	smtSolverFactory,
		MemlessSearchOptions const &	options )

Definition at line 50 of file IterativePolicySearch.cpp.

Member Function Documentation

analyze()

template<typename ValueType>

bool storm::pomdp::IterativePolicySearch< ValueType >::analyze	(	uint64_t	k,
		storm::storage::BitVector const &	oneOfTheseStates,
		storm::storage::BitVector const &	allOfTheseStates = storm::storage::BitVector() )

Definition at line 366 of file IterativePolicySearch.cpp.

analyzeForInitialStates()

template<typename ValueType>

bool storm::pomdp::IterativePolicySearch< ValueType >::analyzeForInitialStates ( uint64_t k )

inline

Definition at line 166 of file IterativePolicySearch.h.

computeWinningRegion()

template<typename ValueType>

void storm::pomdp::IterativePolicySearch< ValueType >::computeWinningRegion ( uint64_t k )

inline

Definition at line 176 of file IterativePolicySearch.h.

finalizeStatistics()

template<typename ValueType>

void storm::pomdp::IterativePolicySearch< ValueType >::finalizeStatistics

(

)

Definition at line 877 of file IterativePolicySearch.cpp.

getLastWinningRegion()

template<typename ValueType>

WinningRegion const & storm::pomdp::IterativePolicySearch< ValueType >::getLastWinningRegion ( ) const

inline

Definition at line 182 of file IterativePolicySearch.h.

getOffsetFromObservation()

template<typename ValueType>

uint64_t storm::pomdp::IterativePolicySearch< ValueType >::getOffsetFromObservation	(	uint64_t	state,
		uint64_t	observation ) const

Definition at line 349 of file IterativePolicySearch.cpp.

getStatistics()

template<typename ValueType>

IterativePolicySearch< ValueType >::Statistics const & storm::pomdp::IterativePolicySearch< ValueType >::getStatistics

(

)

const

Definition at line 880 of file IterativePolicySearch.cpp.

---

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

• src/storm-pomdp/analysis/IterativePolicySearch.h
• src/storm-pomdp/analysis/IterativePolicySearch.cpp