Includes for successful compiling from python

Former-commit-id: 3af33cd206

src/adapters/AddExpressionAdapter.h

@@ -3,7 +3,7 @@
 
 #include "src/storage/expressions/Variable.h"
 #include "src/storage/expressions/Expressions.h"
-#include "storage/expressions/ExpressionVisitor.h"
+#include "src/storage/expressions/ExpressionVisitor.h"
 
 #include "src/storage/dd/Add.h"
 #include "src/storage/dd/Bdd.h"

src/builder/ExplicitPrismModelBuilder.h

@@ -9,6 +9,7 @@
 #include <boost/functional/hash.hpp>
 #include <boost/container/flat_set.hpp>
 #include <boost/container/flat_map.hpp>
+#include <boost/variant.hpp>
 #include <src/models/sparse/StandardRewardModel.h>
 
 #include "src/storage/prism/Program.h"

src/exceptions/BaseException.h

@@ -4,7 +4,7 @@
 #include <exception>
 #include <sstream>
 
-#include "utility/OsDetection.h"
+#include "src/utility/OsDetection.h"
 
 namespace storm {
     namespace exceptions {

src/storage/bisimulation/BisimulationDecomposition.h

@@ -9,6 +9,7 @@
 #include "src/storage/Decomposition.h"
 #include "src/storage/StateBlock.h"
 #include "src/storage/bisimulation/Partition.h"
+#include "src/solver/OptimizationDirection.h"
 
 #include "src/logic/Formulas.h"
 

src/utility/graph.h

@@ -4,7 +4,7 @@
 #include <set>
 #include <limits>
 
-#include "utility/OsDetection.h"
+#include "src/utility/OsDetection.h"
 
 #include "src/storage/sparse/StateType.h"
 #include "src/storage/PartialScheduler.h"

src/utility/storm.h

@@ -73,6 +73,9 @@
 #include "src/exceptions/InvalidTypeException.h"
 #include "src/exceptions/NotImplementedException.h"
 
+// Notice: The implementation for the template functions must stay in the header.
+// Otherwise the linker complains.
+
 namespace storm {
 
     template<typename ValueType>