Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::pomdp::InternalObservationScheduler Struct Reference

#include <IterativePolicySearch.h>

Collaboration diagram for storm::pomdp::InternalObservationScheduler:

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::BitVectoractions
std::vector< uint64_t > schedulerRef
storm::storage::BitVector switchObservations

Detailed Description

Definition at line 73 of file IterativePolicySearch.h.

Member Function Documentation

◆ empty()

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

Definition at line 84 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 88 of file IterativePolicySearch.h.

◆ reset()

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

Definition at line 78 of file IterativePolicySearch.h.

Member Data Documentation

◆ actions

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

Definition at line 74 of file IterativePolicySearch.h.

◆ schedulerRef

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

Definition at line 75 of file IterativePolicySearch.h.

◆ switchObservations

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

Definition at line 76 of file IterativePolicySearch.h.


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