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 - void StandardRewardModel::setStateActionRewardValue(uint_fast64_t row, ValueType const& value) { - this->optionalStateActionRewardVector.get()[row] = value; - } - template template void StandardRewardModel::clearRewardAtState(uint_fast64_t state, storm::storage::SparseMatrix 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 storm::storage::BitVector getChoicesWithFilter(storm::storage::SparseMatrix const& transitionMatrix, std::function 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.