BeliefMdpBuilder.h File Reference

#include <functional>
#include <memory>
#include "storm-pomdp/beliefs/exploration/ExplorationInformation.h"
#include "storm-pomdp/beliefs/verification/PropertyInformation.h"
#include "storm/logic/Formulas.h"
#include "storm/models/sparse/Mdp.h"

Include dependency graph for BeliefMdpBuilder.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

Functions
std::shared_ptr< storm::logic::Formula const >	storm::pomdp::beliefs::createFormulaForBeliefMdp (PropertyInformation const &propertyInformation)
template<typename BeliefMdpValueType, typename BeliefType, typename... ExtraTransitionData>
std::pair< std::shared_ptr< models::sparse::Mdp< BeliefMdpValueType > >, std::unordered_map< uint64_t, BeliefId > >	storm::pomdp::beliefs::buildBeliefMdp (ExplorationInformation< BeliefMdpValueType, BeliefType, ExtraTransitionData... > const &explorationInformation, PropertyInformation const &propertyInformation, std::function< std::unordered_map< std::string, BeliefMdpValueType >(BeliefType const &)> const &computeCutOffValueMap)
	Builds a belief MDP from the given exploration information and property information.