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) const	storm::pomdp::WinningRegionQueryInterface< ValueType >
staysInWinningRegion(storm::storage::BitVector const &beliefSupport, uint64_t actionIndex) const	storm::pomdp::WinningRegionQueryInterface< ValueType >
validate() const	storm::pomdp::WinningRegionQueryInterface< ValueType >
validateIsMaximal(storm::storage::BitVector const &badStates) const	storm::pomdp::WinningRegionQueryInterface< ValueType >
WinningRegionQueryInterface(storm::models::sparse::Pomdp< ValueType > const &pomdp, WinningRegion const &winningRegion)	storm::pomdp::WinningRegionQueryInterface< ValueType >