BeliefExplorationBounds.h

Go to the documentation of this file.

#pragma once
 
#include <vector>
#include "storm/storage/Scheduler.h"
namespace storm {
namespace pomdp {
namespace storage {
 
template<typename ValueType>
struct PreprocessingPomdpValueBounds {
    // Vectors containing upper and lower bound values for the POMDP states
    std::vector<std::vector<ValueType>> lower;
    std::vector<std::vector<ValueType>> upper;
    std::vector<storm::storage::Scheduler<ValueType>> lowerSchedulers;
    std::vector<storm::storage::Scheduler<ValueType>> upperSchedulers;
 
    ValueType getLowerBound(uint64_t scheduler_id, uint64_t const& state);
    ValueType getUpperBound(uint64_t scheduler_id, uint64_t const& state);
 
    ValueType getHighestLowerBound(uint64_t const& state);
    ValueType getSmallestUpperBound(uint64_t const& state);
};
 
template<typename ValueType>
struct ExtremePOMDPValueBound {
    bool min;
    std::vector<ValueType> values;
    storm::storage::BitVector isInfinite;
    ValueType getValueForState(uint64_t const& state);
};
}  // namespace storage
}  // namespace pomdp
}  // namespace storm