Ctmc.h

Go to the documentation of this file.

#ifndef STORM_MODELS_SPARSE_CTMC_H_
#define STORM_MODELS_SPARSE_CTMC_H_
 
#include "storm/models/sparse/DeterministicModel.h"
#include "storm/utility/OsDetection.h"
 
namespace storm {
namespace models {
namespace sparse {
 
template<class ValueType, typename RewardModelType = StandardRewardModel<ValueType>>
class Ctmc : public DeterministicModel<ValueType, RewardModelType> {
   public:
    Ctmc(storm::storage::SparseMatrix<ValueType> const& rateMatrix, storm::models::sparse::StateLabeling const& stateLabeling,
         std::unordered_map<std::string, RewardModelType> const& rewardModels = std::unordered_map<std::string, RewardModelType>());
 
    Ctmc(storm::storage::SparseMatrix<ValueType>&& rateMatrix, storm::models::sparse::StateLabeling&& stateLabeling,
         std::unordered_map<std::string, RewardModelType>&& rewardModels = std::unordered_map<std::string, RewardModelType>());
 
    Ctmc(storm::storage::sparse::ModelComponents<ValueType, RewardModelType> const& components);
    Ctmc(storm::storage::sparse::ModelComponents<ValueType, RewardModelType>&& components);
 
    Ctmc(Ctmc<ValueType, RewardModelType> const& ctmc) = default;
    Ctmc& operator=(Ctmc<ValueType, RewardModelType> const& ctmc) = default;
    Ctmc(Ctmc<ValueType, RewardModelType>&& ctmc) = default;
    Ctmc& operator=(Ctmc<ValueType, RewardModelType>&& ctmc) = default;
 
    std::vector<ValueType> const& getExitRateVector() const;
 
    std::vector<ValueType>& getExitRateVector();
 
    virtual void reduceToStateBasedRewards() override;
 
    storm::storage::SparseMatrix<ValueType> computeProbabilityMatrix() const;
 
   private:
    static std::vector<ValueType> createExitRateVector(storm::storage::SparseMatrix<ValueType> const& rateMatrix);
 
    // A vector containing the exit rates of all states.
    std::vector<ValueType> exitRates;
};
 
}  // namespace sparse
}  // namespace models
}  // namespace storm
 
#endif /* STORM_MODELS_SPARSE_CTMC_H_ */