Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
storm::pomdp::InternalObservationScheduler Struct Reference

#include <IterativePolicySearch.h>

Collaboration diagram for storm::pomdp::InternalObservationScheduler:
Collaboration graph
[legend]

Public Member Functions

void reset (uint64_t nrObservations, uint64_t nrActions)
 
bool empty () const
 
void printForObservations (storm::storage::BitVector const &observations, storm::storage::BitVector const &observationsAfterSwitch) const
 

Public Attributes

std::vector< storm::storage::BitVector > actions
 
std::vector< uint64_t > schedulerRef
 
storm::storage::BitVector switchObservations
 

Detailed Description

Definition at line 72 of file IterativePolicySearch.h.

Member Function Documentation

◆ empty()

bool storm::pomdp::InternalObservationScheduler::empty ( ) const
inline

Definition at line 83 of file IterativePolicySearch.h.

◆ printForObservations()

void storm::pomdp::InternalObservationScheduler::printForObservations ( storm::storage::BitVector const &  observations,
storm::storage::BitVector const &  observationsAfterSwitch 
) const
inline

Definition at line 87 of file IterativePolicySearch.h.

◆ reset()

void storm::pomdp::InternalObservationScheduler::reset ( uint64_t  nrObservations,
uint64_t  nrActions 
)
inline

Definition at line 77 of file IterativePolicySearch.h.

Member Data Documentation

◆ actions

std::vector<storm::storage::BitVector> storm::pomdp::InternalObservationScheduler::actions

Definition at line 73 of file IterativePolicySearch.h.

◆ schedulerRef

std::vector<uint64_t> storm::pomdp::InternalObservationScheduler::schedulerRef

Definition at line 74 of file IterativePolicySearch.h.

◆ switchObservations

storm::storage::BitVector storm::pomdp::InternalObservationScheduler::switchObservations

Definition at line 75 of file IterativePolicySearch.h.

The documentation for this struct was generated from the following file: