BeliefMdpBuilder.cpp File Reference

#include "storm-pomdp/beliefs/exploration/BeliefMdpBuilder.h"
#include <algorithm>
#include <unordered_map>
#include <utility>
#include <vector>
#include "storm-pomdp/beliefs/storage/Belief.h"
#include "storm/adapters/RationalNumberAdapter.h"
#include "storm/models/sparse/Mdp.h"
#include "storm/models/sparse/StandardRewardModel.h"
#include "storm/solver/OptimizationDirection.h"
#include "storm/storage/SparseMatrix.h"
#include "storm/storage/sparse/ModelComponents.h"
#include "storm/exceptions/NotSupportedException.h"
#include "storm/exceptions/UnexpectedException.h"

Include dependency graph for BeliefMdpBuilder.cpp:

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 MatrixType>
bool	storm::pomdp::beliefs::hasUniqueTransitionRewardsInChoice (MatrixType const &matrix, uint64_t choice, uint64_t numRewardModels)
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.
template std::pair< std::shared_ptr< models::sparse::Mdp< double > >, std::unordered_map< uint64_t, BeliefId > >	storm::pomdp::beliefs::buildBeliefMdp (ExplorationInformation< double, Belief< double > > const &explorationInformation, PropertyInformation const &propertyInformation, std::function< std::unordered_map< std::string, double >(Belief< double > const &)> const &computeCutOffValueMap)
template std::pair< std::shared_ptr< models::sparse::Mdp< storm::RationalNumber > >, std::unordered_map< uint64_t, BeliefId > >	storm::pomdp::beliefs::buildBeliefMdp (ExplorationInformation< storm::RationalNumber, Belief< double > > const &explorationInformation, PropertyInformation const &propertyInformation, std::function< std::unordered_map< std::string, storm::RationalNumber >(Belief< double > const &)> const &computeCutOffValueMap)
template std::pair< std::shared_ptr< models::sparse::Mdp< double > >, std::unordered_map< uint64_t, BeliefId > >	storm::pomdp::beliefs::buildBeliefMdp (ExplorationInformation< double, Belief< storm::RationalNumber > > const &explorationInformation, PropertyInformation const &propertyInformation, std::function< std::unordered_map< std::string, double >(Belief< storm::RationalNumber > const &)> const &computeCutOffValueMap)
template std::pair< std::shared_ptr< models::sparse::Mdp< storm::RationalNumber > >, std::unordered_map< uint64_t, BeliefId > >	storm::pomdp::beliefs::buildBeliefMdp (ExplorationInformation< storm::RationalNumber, Belief< storm::RationalNumber > > const &explorationInformation, PropertyInformation const &propertyInformation, std::function< std::unordered_map< std::string, storm::RationalNumber >(Belief< storm::RationalNumber > const &)> const &computeCutOffValueMap)
template std::pair< std::shared_ptr< models::sparse::Mdp< double > >, std::unordered_map< uint64_t, BeliefId > >	storm::pomdp::beliefs::buildBeliefMdp (ClippingExplorationInformation< double, Belief< double > > const &explorationInformation, PropertyInformation const &propertyInformation, std::function< std::unordered_map< std::string, double >(Belief< double > const &)> const &computeCutOffValueMap)
template std::pair< std::shared_ptr< models::sparse::Mdp< storm::RationalNumber > >, std::unordered_map< uint64_t, BeliefId > >	storm::pomdp::beliefs::buildBeliefMdp (ClippingExplorationInformation< storm::RationalNumber, Belief< double > > const &explorationInformation, PropertyInformation const &propertyInformation, std::function< std::unordered_map< std::string, storm::RationalNumber >(Belief< double > const &)> const &computeCutOffValueMap)
template std::pair< std::shared_ptr< models::sparse::Mdp< double > >, std::unordered_map< uint64_t, BeliefId > >	storm::pomdp::beliefs::buildBeliefMdp (ClippingExplorationInformation< double, Belief< storm::RationalNumber > > const &explorationInformation, PropertyInformation const &propertyInformation, std::function< std::unordered_map< std::string, double >(Belief< storm::RationalNumber > const &)> const &computeCutOffValueMap)
template std::pair< std::shared_ptr< models::sparse::Mdp< storm::RationalNumber > >, std::unordered_map< uint64_t, BeliefId > >	storm::pomdp::beliefs::buildBeliefMdp (ClippingExplorationInformation< storm::RationalNumber, Belief< storm::RationalNumber > > const &explorationInformation, PropertyInformation const &propertyInformation, std::function< std::unordered_map< std::string, storm::RationalNumber >(Belief< storm::RationalNumber > const &)> const &computeCutOffValueMap)
template std::pair< std::shared_ptr< models::sparse::Mdp< double > >, std::unordered_map< uint64_t, BeliefId > >	storm::pomdp::beliefs::buildBeliefMdp (RewardAwareExplorationInformation< double, Belief< double > > const &explorationInformation, PropertyInformation const &propertyInformation, std::function< std::unordered_map< std::string, double >(Belief< double > const &)> const &computeCutOffValueMap)
template std::pair< std::shared_ptr< models::sparse::Mdp< storm::RationalNumber > >, std::unordered_map< uint64_t, BeliefId > >	storm::pomdp::beliefs::buildBeliefMdp (RewardAwareExplorationInformation< storm::RationalNumber, Belief< double > > const &explorationInformation, PropertyInformation const &propertyInformation, std::function< std::unordered_map< std::string, storm::RationalNumber >(Belief< double > const &)> const &computeCutOffValueMap)
template std::pair< std::shared_ptr< models::sparse::Mdp< double > >, std::unordered_map< uint64_t, BeliefId > >	storm::pomdp::beliefs::buildBeliefMdp (RewardAwareExplorationInformation< double, Belief< storm::RationalNumber > > const &explorationInformation, PropertyInformation const &propertyInformation, std::function< std::unordered_map< std::string, double >(Belief< storm::RationalNumber > const &)> const &computeCutOffValueMap)
template std::pair< std::shared_ptr< models::sparse::Mdp< storm::RationalNumber > >, std::unordered_map< uint64_t, BeliefId > >	storm::pomdp::beliefs::buildBeliefMdp (RewardAwareExplorationInformation< storm::RationalNumber, Belief< storm::RationalNumber > > const &explorationInformation, PropertyInformation const &propertyInformation, std::function< std::unordered_map< std::string, storm::RationalNumber >(Belief< storm::RationalNumber > const &)> const &computeCutOffValueMap)