implementing destructors in implementation file.

src/storm/environment/Environment.cpp

@@ -9,6 +9,10 @@ namespace storm {
         // Intentionally left empty.
     }
     
+    Environment::~Environment() {
+        // Intentionally left empty.
+    }
+    
     SolverEnvironment& Environment::solver() {
         return *solverEnvironment;
     }

src/storm/environment/Environment.h

@@ -13,7 +13,7 @@ namespace storm {
         
         Environment();
         
-        virtual ~Environment() = default;
+        virtual ~Environment();
 
         SolverEnvironment& solver();
         SolverEnvironment const& solver() const;

src/storm/environment/environments.h

@@ -1,6 +1,6 @@
 #pragma once
 
 #include "storm/environment/Environment.h"
-#include "storm/environment/solver/SolverEnvironment.h"
-#include "storm/environment/solver/MinMaxSolverEnvironment.h"
+//#include "storm/environment/solver/SolverEnvironment.h"
+//#include "storm/environment/solver/MinMaxSolverEnvironment.h"
 

src/storm/environment/solver/MinMaxSolverEnvironment.cpp

@@ -21,6 +21,11 @@ namespace storm {
         multiplicationStyle = minMaxSettings.getValueIterationMultiplicationStyle();
     }
 
+    MinMaxSolverEnvironment::~MinMaxSolverEnvironment() {
+        // Intentionally left empty
+    }
+
+    
     storm::solver::MinMaxMethod const& MinMaxSolverEnvironment::getMethod() const {
         return minMaxMethod;
     }

src/storm/environment/solver/MinMaxSolverEnvironment.h

@@ -10,6 +10,7 @@ namespace storm {
     public:
         
         MinMaxSolverEnvironment();
+        ~MinMaxSolverEnvironment();
         
         storm::solver::MinMaxMethod const& getMethod() const;
         bool const& isMethodSetFromDefault() const;

src/storm/environment/solver/SolverEnvironment.cpp

@@ -10,6 +10,9 @@ namespace storm {
 //        nativeSolverEnvironment(std::make_unique<NativeSolverEnvironment>()) {
     { }
     
+    SolverEnvironment::~SolverEnvironment() {
+        // Intentionally left empty
+    }
     
     MinMaxSolverEnvironment& SolverEnvironment::minMax() {
         return *minMaxSolverEnvironment;

src/storm/environment/solver/SolverEnvironment.h

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