further fixes, for performance tests and windows

Former-commit-id: 47a4502fd0

src/settings/ArgumentBase.h

@@ -3,6 +3,7 @@
 
 #include <iostream>
 #include <string>
+#include <cstdint>
 
 #include "src/settings/ArgumentType.h"
 

src/storage/SparseMatrix.h

@@ -4,6 +4,7 @@
 #include <algorithm>
 #include <iostream>
 #include <cstdint>
+#include <vector>
 #include <iterator>
 
 #include "src/utility/OsDetection.h"

test/performance/modelchecker/GmmxxDtmcPrctModelCheckerTest.cpp

@@ -1,12 +1,14 @@
 #include "gtest/gtest.h"
 #include "storm-config.h"
 #include "src/settings/SettingsManager.h"
+#include "src/settings/modules/GmmxxEquationSolverSettings.h"
 #include "src/settings/SettingMemento.h"
 #include "src/modelchecker/prctl/SparseDtmcPrctlModelChecker.h"
 #include "src/modelchecker/results/ExplicitQuantitativeCheckResult.h"
 #include "src/utility/solver.h"
 #include "src/parser/AutoParser.h"
 
+
 TEST(GmmxxDtmcPrctlModelCheckerTest, Crowds) {
 	std::shared_ptr<storm::models::sparse::Model<double>> abstractModel = storm::parser::AutoParser::parseModel(STORM_CPP_BASE_PATH "/examples/dtmc/crowds/crowds20_5.tra", STORM_CPP_BASE_PATH "/examples/dtmc/crowds/crowds20_5.lab", "", "");
 

test/performance/modelchecker/NativeDtmcPrctlModelCheckerTest.cpp

@@ -1,6 +1,7 @@
 #include "gtest/gtest.h"
 #include "storm-config.h"
 #include "src/settings/SettingsManager.h"
+#include "src/settings/modules/GmmxxEquationSolverSettings.h"
 #include "src/settings/SettingMemento.h"
 #include "src/modelchecker/prctl/SparseDtmcPrctlModelChecker.h"
 #include "src/modelchecker/results/ExplicitQuantitativeCheckResult.h"

test/performance/modelchecker/TopologicalValueIterationMdpPrctlModelCheckerTest.cpp

@@ -5,6 +5,7 @@
 #include "src/utility/solver.h"
 #include "src/modelchecker/results/ExplicitQuantitativeCheckResult.h"
 #include "src/settings/SettingsManager.h"
+#include "src/settings/modules/TopologicalValueIterationEquationSolverSettings.h"
 #include "src/settings/SettingMemento.h"
 #include "src/parser/AutoParser.h"
 

test/performance/storage/SparseMatrixTest.cpp

@@ -1,4 +1,5 @@
 #include "gtest/gtest.h"
+#include "src/utility/constants.h"
 #include "src/storage/SparseMatrix.h"
 
 TEST(SparseMatrix, Iteration) {