Fixed include orders

Author: volkm

src/pomdp/quantitative_analysis.cpp

@@ -1,8 +1,9 @@
 #include "quantitative_analysis.h"
 
+#include "storm/models/sparse/Pomdp.h"  // Must be included before verification.h
+
 #include "storm-pomdp/api/verification.h"
 #include "storm/adapters/RationalFunctionAdapter.h"
-#include "storm/models/sparse/Pomdp.h"
 
 template<typename ValueType>
 using Pomdp = storm::models::sparse::Pomdp<ValueType, typename storm::models::sparse::StandardRewardModel<ValueType>>;
@@ -79,4 +80,4 @@ void define_belief_exploration(py::module& m, std::string const& vtSuffix) {
           py::arg("use_clipping"));
 }
 
-template void define_belief_exploration<double>(py::module& m, std::string const& vtSuffix);
+template void define_belief_exploration<double>(py::module& m, std::string const& vtSuffix);

src/pycarl/typed_core/integer.cpp

@@ -1,10 +1,10 @@
 #include "rational.h"
 
 #include "src/pycarl/helpers.h"
+#include "src/pycarl/types.h"
 
 #include "carl/numbers/conversion/cln_gmp.h"
 #include "carl/numbers/numbers.h"
-#include "src/pycarl/types.h"
 
 void define_cln_integer(py::module& m) {
 #ifdef PYCARL_USE_CLN