From f285858e2819ce6497de8362e4d37138d7eba908 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@rwth-aachen.de>
Date: Mon, 7 Mar 2016 20:30:12 +0100
Subject: [PATCH] added required includes

Former-commit-id: c523950b43c43d91ae19f3258683c53b7e19f650
---
 src/settings/Option.cpp             | 3 ++-
 src/solver/AbstractEquationSolver.h | 3 ++-
 src/storage/BitVectorHashMap.cpp    | 1 +
 src/storage/dd/Bdd.cpp              | 4 +++-
 src/utility/macros.h                | 4 +++-
 5 files changed, 11 insertions(+), 4 deletions(-)

diff --git a/src/settings/Option.cpp b/src/settings/Option.cpp
index b5cba7759..cba074b58 100644
--- a/src/settings/Option.cpp
+++ b/src/settings/Option.cpp
@@ -2,6 +2,7 @@
 
 #include <iomanip>
 #include <string>
+#include <algorithm>
 #include "ArgumentBase.h"
 #include "Argument.h"
 
@@ -211,4 +212,4 @@ namespace storm {
             return out;
         }
     }
-}
\ No newline at end of file
+}
diff --git a/src/solver/AbstractEquationSolver.h b/src/solver/AbstractEquationSolver.h
index 904e459bd..a8f94dc69 100644
--- a/src/solver/AbstractEquationSolver.h
+++ b/src/solver/AbstractEquationSolver.h
@@ -1,6 +1,7 @@
 #ifndef STORM_SOLVER_ABSTRACTEQUATIONSOLVER_H_
 #define STORM_SOLVER_ABSTRACTEQUATIONSOLVER_H_
 
+#include <memory>
 #include "src/solver/TerminationCondition.h"
 
 namespace storm {
@@ -50,4 +51,4 @@ namespace storm {
     }
 }
 
-#endif /* STORM_SOLVER_ABSTRACTEQUATIONSOLVER_H_ */
\ No newline at end of file
+#endif /* STORM_SOLVER_ABSTRACTEQUATIONSOLVER_H_ */
diff --git a/src/storage/BitVectorHashMap.cpp b/src/storage/BitVectorHashMap.cpp
index c184b764b..328e601c4 100644
--- a/src/storage/BitVectorHashMap.cpp
+++ b/src/storage/BitVectorHashMap.cpp
@@ -1,5 +1,6 @@
 #include "src/storage/BitVectorHashMap.h"
 
+#include <algorithm>
 #include <iostream>
 
 #include "src/utility/macros.h"
diff --git a/src/storage/dd/Bdd.cpp b/src/storage/dd/Bdd.cpp
index 8f176048e..f8bf6b368 100644
--- a/src/storage/dd/Bdd.cpp
+++ b/src/storage/dd/Bdd.cpp
@@ -1,3 +1,5 @@
+#include <algorithm>
+
 #include "src/storage/dd/Bdd.h"
 #include "src/storage/dd/Add.h"
 #include "src/storage/dd/Odd.h"
@@ -360,4 +362,4 @@ namespace storm {
         template Add<DdType::Sylvan, double> Bdd<DdType::Sylvan>::ite(Add<DdType::Sylvan, double> const& thenAdd, Add<DdType::Sylvan, double> const& elseAdd) const;
         template Add<DdType::Sylvan, uint_fast64_t> Bdd<DdType::Sylvan>::ite(Add<DdType::Sylvan, uint_fast64_t> const& thenAdd, Add<DdType::Sylvan, uint_fast64_t> const& elseAdd) const;
     }
-}
\ No newline at end of file
+}
diff --git a/src/utility/macros.h b/src/utility/macros.h
index 4f70b1691..8d7048fdb 100644
--- a/src/utility/macros.h
+++ b/src/utility/macros.h
@@ -2,6 +2,8 @@
 #define STORM_UTILITY_MACROS_H_
 
 #include <cassert>
+#include <string.h>
+
 #include "storm-config.h"
 
 #ifndef STORM_LOGGING_FRAMEWORK
@@ -272,4 +274,4 @@ LOG4CPLUS_INFO(logger, "Enabled trace mode, log output gets printed to console."
     STORM_PRINT(message);                       \
 }
 
-#endif /* STORM_UTILITY_MACROS_H_ */
\ No newline at end of file
+#endif /* STORM_UTILITY_MACROS_H_ */