added more missing headers

Former-commit-id: 11be18e0d9

src/modelchecker/csl/SparseCtmcCslModelChecker.cpp

@@ -3,6 +3,8 @@
 #include "src/modelchecker/csl/helper/SparseCtmcCslHelper.h"
 #include "src/modelchecker/prctl/helper/SparseDtmcPrctlHelper.h"
 
+#include "src/models/sparse/StandardRewardModel.h"
+
 #include "src/utility/macros.h"
 #include "src/utility/vector.h"
 #include "src/utility/graph.h"
@@ -15,7 +17,6 @@
 #include "src/exceptions/InvalidPropertyException.h"
 #include "src/exceptions/NotImplementedException.h"
 
-
 namespace storm {
     namespace modelchecker {
         template <typename SparseCtmcModelType>

src/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.cpp

@@ -2,6 +2,8 @@
 
 #include "src/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.h"
 
+#include "src/models/sparse/StandardRewardModel.h"
+
 #include "src/utility/macros.h"
 
 #include "src/settings/SettingsManager.h"

src/modelchecker/prctl/SparseDtmcPrctlModelChecker.cpp

@@ -11,6 +11,8 @@
 #include "src/modelchecker/prctl/helper/SparseDtmcPrctlHelper.h"
 #include "src/modelchecker/csl/helper/SparseCtmcCslHelper.h"
 
+#include "src/models/sparse/StandardRewardModel.h"
+
 #include "src/settings/modules/GeneralSettings.h"
 
 #include "src/exceptions/InvalidStateException.h"

src/modelchecker/prctl/SparseMdpPrctlModelChecker.cpp

@@ -8,11 +8,12 @@
 #include "src/modelchecker/results/ExplicitQualitativeCheckResult.h"
 #include "src/modelchecker/results/ExplicitQuantitativeCheckResult.h"
 
+#include "src/models/sparse/StandardRewardModel.h"
+
 #include "src/modelchecker/prctl/helper/SparseMdpPrctlHelper.h"
 
 #include "src/solver/LpSolver.h"
 
-
 #include "src/settings/modules/GeneralSettings.h"
 
 #include "src/exceptions/InvalidStateException.h"
@@ -21,7 +22,6 @@
 
 #include "src/storage/MaximalEndComponentDecomposition.h"
 
-
 #include "src/exceptions/InvalidArgumentException.h"
 
 namespace storm {