Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::generator::MonitorVerifier< ValueType > Class Template Reference

#include <GenerateMonitorVerifier.h>

Public Member Functions

 MonitorVerifier (const storm::models::sparse::Pomdp< ValueType > &product, const std::map< std::pair< uint32_t, bool >, uint32_t > &observationMap, std::map< uint32_t, std::string > observationDefaultAction)
std::map< std::pair< uint32_t, bool >, uint32_t > const & getObservationMap ()
const std::map< uint32_t, std::string > & getObservationDefaultAction ()
const storm::models::sparse::Pomdp< ValueType > & getProduct ()

Detailed Description

template<typename ValueType>
class storm::generator::MonitorVerifier< ValueType >

Definition at line 22 of file GenerateMonitorVerifier.h.

Constructor & Destructor Documentation

◆ MonitorVerifier()

template<typename ValueType>
storm::generator::MonitorVerifier< ValueType >::MonitorVerifier ( const storm::models::sparse::Pomdp< ValueType > & product,
const std::map< std::pair< uint32_t, bool >, uint32_t > & observationMap,
std::map< uint32_t, std::string > observationDefaultAction )

Definition at line 25 of file GenerateMonitorVerifier.cpp.

Member Function Documentation

◆ getObservationDefaultAction()

template<typename ValueType>
const std::map< uint32_t, std::string > & storm::generator::MonitorVerifier< ValueType >::getObservationDefaultAction ( )

Definition at line 41 of file GenerateMonitorVerifier.cpp.

◆ getObservationMap()

template<typename ValueType>
const std::map< std::pair< uint32_t, bool >, uint32_t > & storm::generator::MonitorVerifier< ValueType >::getObservationMap ( )

Definition at line 31 of file GenerateMonitorVerifier.cpp.

◆ getProduct()

template<typename ValueType>
const models::sparse::Pomdp< ValueType > & storm::generator::MonitorVerifier< ValueType >::getProduct ( )

Definition at line 36 of file GenerateMonitorVerifier.cpp.

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