BeliefSupportTracker.h

Go to the documentation of this file.

#pragma once
 
#include "storm/models/sparse/Pomdp.h"
#include "storm/storage/BitVector.h"
 
namespace storm {
namespace generator {
template<typename ValueType>
class BeliefSupportTracker {
   public:
    BeliefSupportTracker(storm::models::sparse::Pomdp<ValueType> const& pomdp);
    storm::storage::BitVector const& getCurrentBeliefSupport() const;
    void track(uint64_t action, uint64_t observation);
    void reset();
 
   private:
    storm::models::sparse::Pomdp<ValueType> const& pomdp;
    storm::storage::BitVector currentBeliefSupport;
};
}  // namespace generator
}  // namespace storm