Fixed compile issues under Linux

Former-commit-id: 61a69f9fc7

src/builder/ExplicitGspnModelBuilder.h

@@ -1,12 +1,12 @@
 #ifndef STORM_BUILDER_EXPLICITGSPNMODELBUILDER_H_
 #define STORM_BUILDER_EXPLICITGSPNMODELBUILDER_H_
 
-#include <String>
+#include <string>
 
 #include "src/models/sparse/MarkovAutomaton.h"
 #include "src/models/sparse/StandardRewardModel.h"
-#include "src/storage/Bitvector.h"
-#include "src/storage/BitvectorHashMap.h"
+#include "src/storage/BitVector.h"
+#include "src/storage/BitVectorHashMap.h"
 #include "src/storage/gspn/GSPN.h"
 #include "src/storage/gspn/ImmediateTransition.h"
 #include "src/storage/gspn/TimedTransition.h"

src/storage/gspn/GSPN.h

@@ -3,6 +3,7 @@
 
 #include <stdint.h>
 #include <vector>
+#include <memory>
 
 #include "src/storage/gspn/ImmediateTransition.h"
 #include "src/storage/gspn/Marking.h"

src/storage/gspn/Marking.h

@@ -3,6 +3,7 @@
 
 #include <cmath>
 #include <map>
+#include <memory>
 #include "src/storage/BitVector.h"
 
 namespace storm {

src/utility/constants.cpp

@@ -117,6 +117,11 @@ namespace storm {
         }
         
 #ifdef STORM_HAVE_CARL
+        template<>
+        RationalNumber pow(RationalNumber const& value, uint_fast64_t exponent) {
+            return carl::pow(value, exponent);
+        }
+
         template<>
         RationalFunction& simplify(RationalFunction& value);