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

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

isInWinningRegion(storm::storage::BitVector const &beliefSupport) conststorm::pomdp::WinningRegionQueryInterface< ValueType >
staysInWinningRegion(storm::storage::BitVector const &beliefSupport, uint64_t actionIndex) conststorm::pomdp::WinningRegionQueryInterface< ValueType >
validate() conststorm::pomdp::WinningRegionQueryInterface< ValueType >
validateIsMaximal(storm::storage::BitVector const &badStates) conststorm::pomdp::WinningRegionQueryInterface< ValueType >
WinningRegionQueryInterface(storm::models::sparse::Pomdp< ValueType > const &pomdp, WinningRegion const &winningRegion)storm::pomdp::WinningRegionQueryInterface< ValueType >