From a80553a700df59d89709427d16ebfffe72342b0c Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 31 Mar 2020 14:43:35 +0200
Subject: [PATCH] Removed a duplicated method in StandardRewardModel
 (setStateActionRewardValue did the same as setStateActionReward)

---
 src/storm/models/sparse/StandardRewardModel.cpp | 5 -----
 src/storm/models/sparse/StandardRewardModel.h   | 9 ---------
 2 files changed, 14 deletions(-)

diff --git a/src/storm/models/sparse/StandardRewardModel.cpp b/src/storm/models/sparse/StandardRewardModel.cpp
index 159c39446..b017ae58a 100644
--- a/src/storm/models/sparse/StandardRewardModel.cpp
+++ b/src/storm/models/sparse/StandardRewardModel.cpp
@@ -349,11 +349,6 @@ namespace storm {
                 return result;
             }
 
-            template<typename ValueType>
-            void StandardRewardModel<ValueType>::setStateActionRewardValue(uint_fast64_t row, ValueType const& value) {
-                this->optionalStateActionRewardVector.get()[row] = value;
-            }
-
             template<typename ValueType>
             template<typename MatrixValueType>
             void StandardRewardModel<ValueType>::clearRewardAtState(uint_fast64_t state, storm::storage::SparseMatrix<MatrixValueType> const& transitions) {
diff --git a/src/storm/models/sparse/StandardRewardModel.h b/src/storm/models/sparse/StandardRewardModel.h
index 2bfed8143..aedd7c535 100644
--- a/src/storm/models/sparse/StandardRewardModel.h
+++ b/src/storm/models/sparse/StandardRewardModel.h
@@ -287,15 +287,6 @@ namespace storm {
                 template<typename MatrixValueType>
                 storm::storage::BitVector getChoicesWithFilter(storm::storage::SparseMatrix<MatrixValueType> const& transitionMatrix, std::function<bool(ValueType const&)> const& filter) const;
 
-                /*!
-                 * Sets the given value in the state-action reward vector at the given row. This assumes that the reward
-                 * model has state-action rewards.
-                 *
-                 * @param row The row at which to set the given value.
-                 * @param value The value to set.
-                 */
-                void setStateActionRewardValue(uint_fast64_t row, ValueType const& value);
-                
                 /*!
                  * Retrieves whether the reward model is empty, i.e. contains no state-, state-action- or transition-based
                  * rewards.