SymbolicModel: getRewardModels.

src/storm/models/symbolic/Model.cpp

@@ -192,6 +192,11 @@ namespace storm {
             bool Model<Type, ValueType>::hasRewardModel() const {
                 return !this->rewardModels.empty();
             }
+
+            template<storm::dd::DdType Type, typename ValueType>
+            std::unordered_map<std::string, typename Model<Type, ValueType>::RewardModelType> const& Model<Type, ValueType>::getRewardModels() const {
+                return this->rewardModels;
+            }
             
             template<storm::dd::DdType Type, typename ValueType>
             void Model<Type, ValueType>::printModelInformationToStream(std::ostream& out) const {

src/storm/models/symbolic/Model.h

@@ -246,6 +246,8 @@ namespace storm {
                  * @return True iff the model has a reward model.
                  */
                 bool hasRewardModel() const;
+
+                std::unordered_map<std::string, RewardModelType> const& getRewardModels() const;
                 
                 /*!
                  * Retrieves the number of reward models associated with this model.