Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::pomdp::WinningRegionQueryInterface< ValueType > Class Template Reference

#include <WinningRegionQueryInterface.h>

Public Member Functions

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

Detailed Description

template<typename ValueType>
class storm::pomdp::WinningRegionQueryInterface< ValueType >

Definition at line 8 of file WinningRegionQueryInterface.h.

Constructor & Destructor Documentation

◆ WinningRegionQueryInterface()

template<typename ValueType >
storm::pomdp::WinningRegionQueryInterface< ValueType >::WinningRegionQueryInterface ( storm::models::sparse::Pomdp< ValueType > const &  pomdp,
WinningRegion const &  winningRegion 
)

Definition at line 9 of file WinningRegionQueryInterface.cpp.

Member Function Documentation

◆ isInWinningRegion()

template<typename ValueType >
bool storm::pomdp::WinningRegionQueryInterface< ValueType >::isInWinningRegion ( storm::storage::BitVector const &  beliefSupport) const

Definition at line 21 of file WinningRegionQueryInterface.cpp.

◆ staysInWinningRegion()

template<typename ValueType >
bool storm::pomdp::WinningRegionQueryInterface< ValueType >::staysInWinningRegion ( storm::storage::BitVector const &  beliefSupport,
uint64_t  actionIndex 
) const

Definition at line 42 of file WinningRegionQueryInterface.cpp.

◆ validate()

template<typename ValueType >
void storm::pomdp::WinningRegionQueryInterface< ValueType >::validate ( ) const

Definition at line 70 of file WinningRegionQueryInterface.cpp.

◆ validateIsMaximal()

template<typename ValueType >
void storm::pomdp::WinningRegionQueryInterface< ValueType >::validateIsMaximal ( storm::storage::BitVector const &  badStates) const

Definition at line 90 of file WinningRegionQueryInterface.cpp.

The documentation for this class was generated from the following files: