12template<
typename ValueType>
15 std::vector<std::vector<ValueType>>
lower;
16 std::vector<std::vector<ValueType>>
upper;
26 ValueType
getLowerBound(uint64_t scheduler_id, uint64_t
const& state);
33 ValueType
getUpperBound(uint64_t scheduler_id, uint64_t
const& state);
52template<
typename ValueType>
A bit vector that is internally represented as a vector of 64-bit values.
Struct to store the extreme bound values needed for the reward correction values when clipping is use...
std::vector< ValueType > values
storm::storage::BitVector isInfinite
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.
std::vector< std::vector< ValueType > > upper
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.
std::vector< std::vector< ValueType > > lower
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.