From b69543802d21ada49ff5e36c826213c8e0998dc5 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 18 Jan 2018 17:51:31 +0100
Subject: [PATCH] completed the renaming from
 topologicalValueIterationMinMaxSolver to TopologicalCudaMinMax...

---
 src/storm/solver/TopologicalCudaMinMaxLinearEquationSolver.h | 2 +-
 src/storm/storage/SparseMatrix.h                             | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/storm/solver/TopologicalCudaMinMaxLinearEquationSolver.h b/src/storm/solver/TopologicalCudaMinMaxLinearEquationSolver.h
index e302028a5..f20f37b09 100644
--- a/src/storm/solver/TopologicalCudaMinMaxLinearEquationSolver.h
+++ b/src/storm/solver/TopologicalCudaMinMaxLinearEquationSolver.h
@@ -151,4 +151,4 @@ namespace storm {
     } // namespace solver
 } // namespace storm
 
-#endif /* STORM_SOLVER_TOPOLOGICALVALUEITERATIONMINMAXLINEAREQUATIONSOLVER_H_ */
+#endif /* STORM_SOLVER_TOPOLOGICALCUDAMINMAXLINEAREQUATIONSOLVER_H_ */
diff --git a/src/storm/storage/SparseMatrix.h b/src/storm/storage/SparseMatrix.h
index e115db443..4013a7cbf 100644
--- a/src/storm/storage/SparseMatrix.h
+++ b/src/storm/storage/SparseMatrix.h
@@ -27,7 +27,7 @@ namespace storm {
 	}
 	namespace solver {
 		template<typename T>
-		class TopologicalValueIterationMinMaxLinearEquationSolver;
+		class TopologicalCudaValueIterationMinMaxLinearEquationSolver;
 	}
 }
 
@@ -327,7 +327,7 @@ namespace storm {
             friend class storm::adapters::GmmxxAdapter<ValueType>;
             friend class storm::adapters::EigenAdapter;
             friend class storm::adapters::StormAdapter;
-			friend class storm::solver::TopologicalValueIterationMinMaxLinearEquationSolver<ValueType>;
+			friend class storm::solver::TopologicalCudaValueIterationMinMaxLinearEquationSolver<ValueType>;
             friend class SparseMatrixBuilder<ValueType>;
             
             typedef SparseMatrixIndexType index_type;