From 63104620602a1e335734f254092b31d51829bf85 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 9 Aug 2021 15:28:28 +0200
Subject: [PATCH] Cleaned up dtmc and mdp helpers a bit.

---
 .../modelchecker/prctl/helper/SparseDtmcPrctlHelper.cpp    | 4 ----
 .../modelchecker/prctl/helper/SparseDtmcPrctlHelper.h      | 7 -------
 .../modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp     | 1 -
 3 files changed, 12 deletions(-)

diff --git a/src/storm/modelchecker/prctl/helper/SparseDtmcPrctlHelper.cpp b/src/storm/modelchecker/prctl/helper/SparseDtmcPrctlHelper.cpp
index b9749ca55..30619d8f0 100644
--- a/src/storm/modelchecker/prctl/helper/SparseDtmcPrctlHelper.cpp
+++ b/src/storm/modelchecker/prctl/helper/SparseDtmcPrctlHelper.cpp
@@ -22,12 +22,9 @@
 
 #include "storm/environment/solver/SolverEnvironment.h"
 
-#include "storm/transformer/DAProductBuilder.h"
-
 #include "storm/settings/SettingsManager.h"
 #include "storm/settings/modules/GeneralSettings.h"
 #include "storm/settings/modules/CoreSettings.h"
-#include "storm/settings/modules/DebugSettings.h"
 #include "storm/settings/modules/IOSettings.h"
 #include "storm/settings/modules/ModelCheckerSettings.h"
 
@@ -45,7 +42,6 @@
 #include "storm/exceptions/UncheckedRequirementException.h"
 #include "storm/exceptions/NotSupportedException.h"
 
-
 namespace storm {
     namespace modelchecker {
         namespace helper {
diff --git a/src/storm/modelchecker/prctl/helper/SparseDtmcPrctlHelper.h b/src/storm/modelchecker/prctl/helper/SparseDtmcPrctlHelper.h
index 97741d709..79f03e80c 100644
--- a/src/storm/modelchecker/prctl/helper/SparseDtmcPrctlHelper.h
+++ b/src/storm/modelchecker/prctl/helper/SparseDtmcPrctlHelper.h
@@ -16,15 +16,8 @@
 #include "storm/solver/SolveGoal.h"
 
 namespace storm {
-    // fwd
     class Environment;
 
-    namespace models {
-        namespace sparse {
-            template <typename ValueType, typename RewardModelType> class Dtmc;
-        }
-    }
-
     namespace modelchecker {
         class CheckResult;
         
diff --git a/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp b/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp
index 85f80667f..212896447 100644
--- a/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp
+++ b/src/storm/modelchecker/prctl/helper/SparseMdpPrctlHelper.cpp
@@ -621,7 +621,6 @@ namespace storm {
                         for (auto state : qualitativeStateSets.maybeStates) {
                             scheduler->setDontCare(state);
                         }
-
                     }
                 }