MakeStateSetObservationClosed.h

Go to the documentation of this file.

#pragma once
#include <memory>
 
#include "storm/models/sparse/Pomdp.h"
namespace storm {
namespace transformer {
 
template<typename ValueType>
class MakeStateSetObservationClosed {
   public:
    MakeStateSetObservationClosed(std::shared_ptr<storm::models::sparse::Pomdp<ValueType>> pomdp);
 
    std::pair<std::shared_ptr<storm::models::sparse::Pomdp<ValueType>>, std::set<uint32_t>> transform(storm::storage::BitVector const& stateSet) const;
 
   protected:
    std::shared_ptr<storm::models::sparse::Pomdp<ValueType>> pomdp;
};
}  // namespace transformer
}  // namespace storm