Storm
A Modern Probabilistic Model Checker
|
#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 () |
Definition at line 111 of file IterativePolicySearch.h.
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.
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.
|
inline |
Definition at line 165 of file IterativePolicySearch.h.
|
inline |
Definition at line 175 of file IterativePolicySearch.h.
void storm::pomdp::IterativePolicySearch< ValueType >::finalizeStatistics | ( | ) |
Definition at line 877 of file IterativePolicySearch.cpp.
|
inline |
Definition at line 181 of file IterativePolicySearch.h.
uint64_t storm::pomdp::IterativePolicySearch< ValueType >::getOffsetFromObservation | ( | uint64_t | state, |
uint64_t | observation | ||
) | const |
Definition at line 349 of file IterativePolicySearch.cpp.
IterativePolicySearch< ValueType >::Statistics const & storm::pomdp::IterativePolicySearch< ValueType >::getStatistics | ( | ) | const |
Definition at line 880 of file IterativePolicySearch.cpp.