Mdp.h

Go to the documentation of this file.

#pragma once
 
#include "storm/adapters/IntervalForward.h"
#include "storm/adapters/RationalFunctionForward.h"
#include "storm/adapters/RationalNumberForward.h"
#include "storm/models/sparse/NondeterministicModel.h"
 
namespace storm {
namespace models {
namespace sparse {

template<class ValueType, typename RewardModelType = StandardRewardModel<ValueType>>
class Mdp : public NondeterministicModel<ValueType, RewardModelType> {
   public:
    Mdp(storm::storage::SparseMatrix<ValueType> const& transitionMatrix, storm::models::sparse::StateLabeling const& stateLabeling,
        std::unordered_map<std::string, RewardModelType> const& rewardModels = std::unordered_map<std::string, RewardModelType>(),
        ModelType type = ModelType::Mdp);

    Mdp(storm::storage::SparseMatrix<ValueType>&& transitionMatrix, storm::models::sparse::StateLabeling&& stateLabeling,
        std::unordered_map<std::string, RewardModelType>&& rewardModels = std::unordered_map<std::string, RewardModelType>(), ModelType type = ModelType::Mdp);

    Mdp(storm::storage::sparse::ModelComponents<ValueType, RewardModelType> const& components, ModelType type = ModelType::Mdp);
    Mdp(storm::storage::sparse::ModelComponents<ValueType, RewardModelType>&& components, ModelType type = ModelType::Mdp);
 
    Mdp(Mdp<ValueType, RewardModelType> const& other) = default;
    Mdp& operator=(Mdp<ValueType, RewardModelType> const& other) = default;
 
    Mdp(Mdp<ValueType, RewardModelType>&& other) = default;
    Mdp& operator=(Mdp<ValueType, RewardModelType>&& other) = default;
 
    virtual ~Mdp() = default;
};
 
// Instantiated in Mdp.cpp; prevents hidden consumers from duplicating the vtable/RTTI.
extern template class Mdp<double>;
extern template class Mdp<double, storm::models::sparse::StandardRewardModel<storm::Interval>>;
extern template class Mdp<storm::RationalNumber>;
extern template class Mdp<storm::RationalNumber, storm::models::sparse::StandardRewardModel<storm::RationalInterval>>;
extern template class Mdp<storm::Interval>;
extern template class Mdp<storm::RationalInterval>;
extern template class Mdp<storm::RationalFunction>;
 
}  // namespace sparse
}  // namespace models
}  // namespace storm