storm::analysis::UniqueObservationStates< ValueType > Class Template Reference

#include <UniqueObservationStates.h>

Public Member Functions
	UniqueObservationStates (storm::models::sparse::Pomdp< ValueType > const &pomdp)
storm::storage::BitVector	analyse () const

Detailed Description

template<typename ValueType>
class storm::analysis::UniqueObservationStates< ValueType >

Definition at line 7 of file UniqueObservationStates.h.

Constructor & Destructor Documentation

UniqueObservationStates()

template<typename ValueType >

storm::analysis::UniqueObservationStates< ValueType >::UniqueObservationStates

(

storm::models::sparse::Pomdp< ValueType > const &

pomdp

)

Definition at line 7 of file UniqueObservationStates.cpp.

Member Function Documentation

analyse()

template<typename ValueType >

storm::storage::BitVector storm::analysis::UniqueObservationStates< ValueType >::analyse

(

)

const

Definition at line 10 of file UniqueObservationStates.cpp.

---

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

• src/storm-pomdp/analysis/UniqueObservationStates.h
• src/storm-pomdp/analysis/UniqueObservationStates.cpp