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 - class TopologicalValueIterationMinMaxLinearEquationSolver; + class TopologicalCudaValueIterationMinMaxLinearEquationSolver; } } @@ -327,7 +327,7 @@ namespace storm { friend class storm::adapters::GmmxxAdapter; friend class storm::adapters::EigenAdapter; friend class storm::adapters::StormAdapter; - friend class storm::solver::TopologicalValueIterationMinMaxLinearEquationSolver; + friend class storm::solver::TopologicalCudaValueIterationMinMaxLinearEquationSolver; friend class SparseMatrixBuilder; typedef SparseMatrixIndexType index_type;