Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::storage::PomdpMemory Class Reference

#include <PomdpMemory.h>

Public Member Functions

 PomdpMemory (std::vector< storm::storage::BitVector > const &transitions, uint64_t initialState)
 
uint64_t getNumberOfStates () const
 
uint64_t getInitialState () const
 
storm::storage::BitVector const & getTransitions (uint64_t state) const
 
uint64_t getNumberOfOutgoingTransitions (uint64_t state) const
 
std::vector< storm::storage::BitVector > const & getTransitions () const
 
std::string toString () const
 

Detailed Description

Definition at line 10 of file PomdpMemory.h.

Constructor & Destructor Documentation

◆ PomdpMemory()

storm::storage::PomdpMemory::PomdpMemory ( std::vector< storm::storage::BitVector > const &  transitions,
uint64_t  initialState 
)

Definition at line 10 of file PomdpMemory.cpp.

Member Function Documentation

◆ getInitialState()

uint64_t storm::storage::PomdpMemory::getInitialState ( ) const

Definition at line 25 of file PomdpMemory.cpp.

◆ getNumberOfOutgoingTransitions()

uint64_t storm::storage::PomdpMemory::getNumberOfOutgoingTransitions ( uint64_t  state) const

Definition at line 33 of file PomdpMemory.cpp.

◆ getNumberOfStates()

uint64_t storm::storage::PomdpMemory::getNumberOfStates ( ) const

Definition at line 21 of file PomdpMemory.cpp.

◆ getTransitions() [1/2]

std::vector< storm::storage::BitVector > const & storm::storage::PomdpMemory::getTransitions ( ) const

Definition at line 37 of file PomdpMemory.cpp.

◆ getTransitions() [2/2]

storm::storage::BitVector const & storm::storage::PomdpMemory::getTransitions ( uint64_t  state) const

Definition at line 29 of file PomdpMemory.cpp.

◆ toString()

std::string storm::storage::PomdpMemory::toString ( ) const

Definition at line 41 of file PomdpMemory.cpp.

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