BeliefBuilder.h

Go to the documentation of this file.

#pragma once
#include <cstdint>
 
#include "storm-pomdp/beliefs/utility/types.h"
 
namespace storm::pomdp::beliefs {

template<typename BeliefType>
class BeliefBuilder {
   public:
    using ValueType = typename BeliefType::ValueType;

    void reserve(uint64_t size);

    void addValue(BeliefStateType const& state, ValueType const& value);

    void setObservation(BeliefObservationType const& observation);

    ValueType normalize();

    BeliefType build();

    void reset();
 
   private:
    bool assertBelief();
 
    BeliefFlatMap<ValueType> data;
    BeliefObservationType obs{InvalidObservation};
};
 
}  // namespace storm::pomdp::beliefs