types.h File Reference

#include <boost/container/flat_map.hpp>
#include <cstdint>
#include <limits>

Include dependency graph for types.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::pomdp
namespace	storm::pomdp::beliefs

Typedefs
using	storm::pomdp::beliefs::BeliefStateType = uint64_t
	Shared identifiers and sparse-container types used by the belief subsystem.
using	storm::pomdp::beliefs::BeliefObservationType = uint32_t
using	storm::pomdp::beliefs::BeliefId = uint64_t
using	storm::pomdp::beliefs::BeliefActionObservationType = uint32_t
template<typename BeliefValueType>
using	storm::pomdp::beliefs::BeliefFlatMap = boost::container::flat_map<BeliefStateType, BeliefValueType>

Variables
constexpr BeliefActionObservationType	storm::pomdp::beliefs::DefaultActionObservation = 0
constexpr bool	storm::pomdp::beliefs::BeliefFlatMapIsOrdered = true
constexpr BeliefObservationType	storm::pomdp::beliefs::InvalidObservation = std::numeric_limits<BeliefObservationType>::max()
	Required e.g. for comparing two beliefs.
constexpr BeliefId	storm::pomdp::beliefs::InvalidBeliefId = std::numeric_limits<BeliefId>::max()