Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::pomdp::IterativePolicySearch< ValueType > Member List

This is the complete list of members for storm::pomdp::IterativePolicySearch< ValueType >, including all inherited members.

analyze(uint64_t k, storm::storage::BitVector const &oneOfTheseStates, storm::storage::BitVector const &allOfTheseStates=storm::storage::BitVector())storm::pomdp::IterativePolicySearch< ValueType >
analyzeForInitialStates(uint64_t k)storm::pomdp::IterativePolicySearch< ValueType >inline
computeWinningRegion(uint64_t k)storm::pomdp::IterativePolicySearch< ValueType >inline
finalizeStatistics()storm::pomdp::IterativePolicySearch< ValueType >
getLastWinningRegion() conststorm::pomdp::IterativePolicySearch< ValueType >inline
getOffsetFromObservation(uint64_t state, uint64_t observation) conststorm::pomdp::IterativePolicySearch< ValueType >
getStatistics() conststorm::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)storm::pomdp::IterativePolicySearch< ValueType >