adding copy constructor

src/storm/environment/Environment.cpp

@@ -9,6 +9,11 @@ namespace storm {
         // Intentionally left empty.
     }
     
+    Environment::Environment(Environment const& other) :
+            solverEnvironment(new SolverEnvironment(*other.solverEnvironment)) {
+        // Intentionally left empty.
+    }
+
     Environment::~Environment() {
         // Intentionally left empty.
     }

src/storm/environment/Environment.h

@@ -12,6 +12,7 @@ namespace storm {
     public:
         
         Environment();
+        Environment(Environment const& other);
         
         virtual ~Environment();
 

src/storm/environment/solver/SolverEnvironment.cpp

@@ -10,6 +10,12 @@ namespace storm {
 //        nativeSolverEnvironment(std::make_unique<NativeSolverEnvironment>()) {
     { }
     
+    SolverEnvironment::SolverEnvironment(SolverEnvironment const& other) :
+            minMaxSolverEnvironment(new MinMaxSolverEnvironment(*other.minMaxSolverEnvironment)),
+            forceSoundness(other.forceSoundness) {
+        // Intentionally left empty
+    }
+    
     SolverEnvironment::~SolverEnvironment() {
         // Intentionally left empty
     }

src/storm/environment/solver/SolverEnvironment.h

@@ -14,6 +14,7 @@ namespace storm {
     public:
         
         SolverEnvironment();
+        SolverEnvironment(SolverEnvironment const& other);
         ~SolverEnvironment();
         
 //        EigenSolverEnvironment& eigen();