Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
BeliefExplorationBounds.h
Go to the documentation of this file.
1#pragma once
2
3#include <vector>
5namespace storm {
6namespace pomdp {
7namespace storage {
8
12template<typename ValueType>
14 // Vectors containing upper and lower bound values for the POMDP states
15 std::vector<std::vector<ValueType>> lower;
16 std::vector<std::vector<ValueType>> upper;
17 std::vector<storm::storage::Scheduler<ValueType>> lowerSchedulers;
18 std::vector<storm::storage::Scheduler<ValueType>> upperSchedulers;
19
26 ValueType getLowerBound(uint64_t scheduler_id, uint64_t const& state);
33 ValueType getUpperBound(uint64_t scheduler_id, uint64_t const& state);
34
40 ValueType getHighestLowerBound(uint64_t const& state);
46 ValueType getSmallestUpperBound(uint64_t const& state);
47};
48
52template<typename ValueType>
54 bool min;
55 std::vector<ValueType> values;
62 ValueType getValueForState(uint64_t const& state);
63};
64} // namespace storage
65} // namespace pomdp
66} // namespace storm
A bit vector that is internally represented as a vector of 64-bit values.
Definition BitVector.h:18
LabParser.cpp.
Definition cli.cpp:18
Struct to store the extreme bound values needed for the reward correction values when clipping is use...
ValueType getValueForState(uint64_t const &state)
Get the extreme bound value for a given state.
Struct for storing precomputed values bounding the actual values on the POMDP.
ValueType getLowerBound(uint64_t scheduler_id, uint64_t const &state)
Picks the precomputed lower bound for a given scheduler index and state of the POMDP.
ValueType getHighestLowerBound(uint64_t const &state)
Picks the largest precomputed lower bound for a given state of the POMDP.
ValueType getSmallestUpperBound(uint64_t const &state)
Picks the smallest precomputed upper bound for a given state of the POMDP.
std::vector< storm::storage::Scheduler< ValueType > > lowerSchedulers
std::vector< storm::storage::Scheduler< ValueType > > upperSchedulers
ValueType getUpperBound(uint64_t scheduler_id, uint64_t const &state)
Picks the precomputed upper bound for a given scheduler index and state of the POMDP.