From 877c15ed43bbabe17846bead9f89f531970c4513 Mon Sep 17 00:00:00 2001
From: Alexander Bork <alexander.bork@rwth-aachen.de>
Date: Fri, 29 Nov 2019 13:41:36 +0100
Subject: [PATCH] Removed obsolete function to create transition matrices from
 a data structure not used anymore

---
 .../ApproximatePOMDPModelchecker.cpp          | 19 -------------------
 .../ApproximatePOMDPModelchecker.h            | 10 +++++-----
 2 files changed, 5 insertions(+), 24 deletions(-)

diff --git a/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp b/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
index c377461d8..90fe6dc3b 100644
--- a/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
+++ b/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
@@ -791,25 +791,6 @@ namespace storm {
                 return smb.build();
             }
 
-            template<typename ValueType, typename RewardModelType>
-            storm::storage::SparseMatrix<ValueType>
-            ApproximatePOMDPModelchecker<ValueType, RewardModelType>::buildTransitionMatrix(
-                    std::vector<std::map<uint64_t, ValueType>> transitions) {
-                uint_fast64_t currentRow = 0;
-                uint64_t nrEntries = 0;
-                for (auto const &map : transitions) {
-                    nrEntries += map.size();
-                }
-                storm::storage::SparseMatrixBuilder<ValueType> smb(transitions.size(), transitions.size(), nrEntries);
-                for (auto const &map : transitions) {
-                    for (auto const &transition : map) {
-                        smb.addNextValue(currentRow, transition.first, transition.second);
-                    }
-                    ++currentRow;
-                }
-                return smb.build();
-            }
-
             template<typename ValueType, typename RewardModelType>
             std::vector<uint64_t> ApproximatePOMDPModelchecker<ValueType, RewardModelType>::extractBestActions(
                     storm::models::sparse::Pomdp<ValueType, RewardModelType> const &pomdp,
diff --git a/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.h b/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.h
index 2c289d1f5..89d1be286 100644
--- a/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.h
+++ b/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.h
@@ -232,11 +232,11 @@ namespace storm {
                 uint64_t getBeliefIdInVector(std::vector<storm::pomdp::Belief<ValueType>> const &grid, uint32_t observation,
                                              std::vector<ValueType> probabilities);
 
-                storm::storage::SparseMatrix<ValueType>
-                buildTransitionMatrix(std::vector<std::map<uint64_t, ValueType>> transitions);
-
-                storm::storage::SparseMatrix<ValueType>
-                buildTransitionMatrix(std::vector<std::vector<std::map<uint64_t, ValueType>>> transitions);
+                /**
+                 * @param transitions  data structure that contains the transition information of the form: origin-state -> action -> (successor-state -> probability)
+                 * @return sparseMatrix representing the transitions
+                 */
+                storm::storage::SparseMatrix<ValueType> buildTransitionMatrix(std::vector<std::vector<std::map<uint64_t, ValueType>>> transitions);
 
                 ValueType getRewardAfterAction(storm::models::sparse::Pomdp<ValueType, RewardModelType> const &pomdp, uint64_t action, storm::pomdp::Belief<ValueType> belief);