From c5bbf68eafd8de170ae1747095d2925b9667e6c1 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 10 May 2021 09:48:01 +0200
Subject: [PATCH] Removed several unnecessary forward declarations of
 ConstantsComparator.

---
 src/storm/builder/ExplicitModelBuilder.h                      | 3 ---
 src/storm/storage/bisimulation/BisimulationDecomposition.h    | 4 ----
 .../DeterministicModelBisimulationDecomposition.h             | 4 ----
 .../NondeterministicModelBisimulationDecomposition.h          | 4 ----
 4 files changed, 15 deletions(-)

diff --git a/src/storm/builder/ExplicitModelBuilder.h b/src/storm/builder/ExplicitModelBuilder.h
index f33b37ba3..cb537eb52 100644
--- a/src/storm/builder/ExplicitModelBuilder.h
+++ b/src/storm/builder/ExplicitModelBuilder.h
@@ -32,9 +32,6 @@
 #include "storm/generator/VariableInformation.h"
 
 namespace storm {
-    namespace utility {
-        template<typename ValueType> class ConstantsComparator;
-    }
     
     namespace builder {
         
diff --git a/src/storm/storage/bisimulation/BisimulationDecomposition.h b/src/storm/storage/bisimulation/BisimulationDecomposition.h
index 7e8d871fa..14b32ecd0 100644
--- a/src/storm/storage/bisimulation/BisimulationDecomposition.h
+++ b/src/storm/storage/bisimulation/BisimulationDecomposition.h
@@ -16,10 +16,6 @@
 #include "storm/utility/ConstantsComparator.h"
 
 namespace storm {
-    namespace utility {
-        template <typename ValueType> class ConstantsComparator;
-    }
-    
     namespace logic {
         class Formula;
     }
diff --git a/src/storm/storage/bisimulation/DeterministicModelBisimulationDecomposition.h b/src/storm/storage/bisimulation/DeterministicModelBisimulationDecomposition.h
index 0605474bb..be296af9e 100644
--- a/src/storm/storage/bisimulation/DeterministicModelBisimulationDecomposition.h
+++ b/src/storm/storage/bisimulation/DeterministicModelBisimulationDecomposition.h
@@ -5,10 +5,6 @@
 #include "storm/storage/bisimulation/DeterministicBlockData.h"
 
 namespace storm {
-    namespace utility {
-        template <typename ValueType> class ConstantsComparator;
-    }
-    
     namespace storage {
         
         /*!
diff --git a/src/storm/storage/bisimulation/NondeterministicModelBisimulationDecomposition.h b/src/storm/storage/bisimulation/NondeterministicModelBisimulationDecomposition.h
index f42415c49..3afc68b54 100644
--- a/src/storm/storage/bisimulation/NondeterministicModelBisimulationDecomposition.h
+++ b/src/storm/storage/bisimulation/NondeterministicModelBisimulationDecomposition.h
@@ -7,10 +7,6 @@
 #include "storm/storage/DistributionWithReward.h"
 
 namespace storm {
-    namespace utility {
-        template <typename ValueType> class ConstantsComparator;
-    }
-    
     namespace storage {
         
         /*!