Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
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 111 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 165 of file IterativePolicySearch.h.

◆ computeWinningRegion()

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

Definition at line 175 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 181 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: