From c3f9d4cfe067107826f67e92cf60a49bffd37504 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Fri, 29 Apr 2016 16:30:14 +0200
Subject: [PATCH] Includes for successful compiling from python

Former-commit-id: 3af33cd206282a79ac7c09c08818ebdd2205725c
---
 src/adapters/AddExpressionAdapter.h                  | 2 +-
 src/builder/ExplicitPrismModelBuilder.h              | 1 +
 src/exceptions/BaseException.h                       | 2 +-
 src/storage/bisimulation/BisimulationDecomposition.h | 1 +
 src/utility/graph.h                                  | 2 +-
 src/utility/storm.h                                  | 3 +++
 6 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/src/adapters/AddExpressionAdapter.h b/src/adapters/AddExpressionAdapter.h
index 9e74fd49d..ad82146f3 100644
--- a/src/adapters/AddExpressionAdapter.h
+++ b/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"
diff --git a/src/builder/ExplicitPrismModelBuilder.h b/src/builder/ExplicitPrismModelBuilder.h
index ccb0622e7..e2ccf8dc8 100644
--- a/src/builder/ExplicitPrismModelBuilder.h
+++ b/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"
diff --git a/src/exceptions/BaseException.h b/src/exceptions/BaseException.h
index cfb97580d..9b7cabd5f 100644
--- a/src/exceptions/BaseException.h
+++ b/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 {
diff --git a/src/storage/bisimulation/BisimulationDecomposition.h b/src/storage/bisimulation/BisimulationDecomposition.h
index 420d528c9..c8cb5da0d 100644
--- a/src/storage/bisimulation/BisimulationDecomposition.h
+++ b/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"
 
diff --git a/src/utility/graph.h b/src/utility/graph.h
index 913a8aaab..9143dfbda 100644
--- a/src/utility/graph.h
+++ b/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"
diff --git a/src/utility/storm.h b/src/utility/storm.h
index d4a042bc6..09a72acb2 100644
--- a/src/utility/storm.h
+++ b/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>