From ad9008e0c1af058c0e4ed5f3b03c8f6e8924c2f1 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sat, 22 Jul 2017 21:22:01 +0200
Subject: [PATCH] fixing more warnings related to struct vs. class forward
 declarations

---
 src/storm/abstraction/BottomStateResult.cpp                   | 4 ++--
 src/storm/abstraction/GameBddResult.cpp                       | 4 ++--
 src/storm/abstraction/jani/EdgeAbstractor.h                   | 2 +-
 src/storm/abstraction/prism/CommandAbstractor.h               | 2 +-
 .../modelchecker/exploration/SparseExplorationModelChecker.h  | 2 +-
 src/storm/modelchecker/exploration/Statistics.cpp             | 2 +-
 src/storm/parser/JaniParser.h                                 | 2 +-
 7 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/src/storm/abstraction/BottomStateResult.cpp b/src/storm/abstraction/BottomStateResult.cpp
index a5f9576af..a2f60083e 100644
--- a/src/storm/abstraction/BottomStateResult.cpp
+++ b/src/storm/abstraction/BottomStateResult.cpp
@@ -8,7 +8,7 @@ namespace storm {
             // Intentionally left empty.
         }
         
-        template class BottomStateResult<storm::dd::DdType::CUDD>;
-        template class BottomStateResult<storm::dd::DdType::Sylvan>;
+        template struct BottomStateResult<storm::dd::DdType::CUDD>;
+        template struct BottomStateResult<storm::dd::DdType::Sylvan>;
     }
 }
diff --git a/src/storm/abstraction/GameBddResult.cpp b/src/storm/abstraction/GameBddResult.cpp
index 87aaeaee8..c1fbe457a 100644
--- a/src/storm/abstraction/GameBddResult.cpp
+++ b/src/storm/abstraction/GameBddResult.cpp
@@ -13,8 +13,8 @@ namespace storm {
             // Intentionally left empty.
         }
         
-        template class GameBddResult<storm::dd::DdType::CUDD>;
-        template class GameBddResult<storm::dd::DdType::Sylvan>;
+        template struct GameBddResult<storm::dd::DdType::CUDD>;
+        template struct GameBddResult<storm::dd::DdType::Sylvan>;
         
     }
 }
diff --git a/src/storm/abstraction/jani/EdgeAbstractor.h b/src/storm/abstraction/jani/EdgeAbstractor.h
index 674805666..ac88b6b04 100644
--- a/src/storm/abstraction/jani/EdgeAbstractor.h
+++ b/src/storm/abstraction/jani/EdgeAbstractor.h
@@ -43,7 +43,7 @@ namespace storm {
         class AbstractionInformation;
 
         template <storm::dd::DdType DdType>
-        class BottomStateResult;
+        struct BottomStateResult;
 
         namespace jani {
             template <storm::dd::DdType DdType, typename ValueType>
diff --git a/src/storm/abstraction/prism/CommandAbstractor.h b/src/storm/abstraction/prism/CommandAbstractor.h
index e673de271..b26492125 100644
--- a/src/storm/abstraction/prism/CommandAbstractor.h
+++ b/src/storm/abstraction/prism/CommandAbstractor.h
@@ -42,7 +42,7 @@ namespace storm {
         class AbstractionInformation;
 
         template <storm::dd::DdType DdType>
-        class BottomStateResult;
+        struct BottomStateResult;
 
         namespace prism {
             template <storm::dd::DdType DdType, typename ValueType>
diff --git a/src/storm/modelchecker/exploration/SparseExplorationModelChecker.h b/src/storm/modelchecker/exploration/SparseExplorationModelChecker.h
index 98a6f5854..95d55a539 100644
--- a/src/storm/modelchecker/exploration/SparseExplorationModelChecker.h
+++ b/src/storm/modelchecker/exploration/SparseExplorationModelChecker.h
@@ -25,7 +25,7 @@ namespace storm {
             template <typename StateType, typename ValueType> class StateGeneration;
             template <typename StateType, typename ValueType> class ExplorationInformation;
             template <typename StateType, typename ValueType> class Bounds;
-            template <typename StateType, typename ValueType> class Statistics;
+            template <typename StateType, typename ValueType> struct Statistics;
         }
         
         using namespace exploration_detail;
diff --git a/src/storm/modelchecker/exploration/Statistics.cpp b/src/storm/modelchecker/exploration/Statistics.cpp
index 977747067..5284948b4 100644
--- a/src/storm/modelchecker/exploration/Statistics.cpp
+++ b/src/storm/modelchecker/exploration/Statistics.cpp
@@ -39,7 +39,7 @@ namespace storm {
                 out << "EC detections: " << ecDetections << " (" << failedEcDetections << " failed, " << totalNumberOfEcDetected << " EC(s) detected)" << std::endl;
             }
          
-            template class Statistics<uint32_t, double>;
+            template struct Statistics<uint32_t, double>;
             
         }
     }
diff --git a/src/storm/parser/JaniParser.h b/src/storm/parser/JaniParser.h
index ff6429df4..9a6bdace6 100644
--- a/src/storm/parser/JaniParser.h
+++ b/src/storm/parser/JaniParser.h
@@ -18,7 +18,7 @@ namespace storm {
         class Variable;
         class Composition;
         class Property;
-        class PropertyInterval;
+        struct PropertyInterval;
     }
     
     namespace logic {