some forward declarations and header updates to battle recompilation times

src/storm/abstraction/jani/AutomatonAbstractor.cpp

@@ -8,6 +8,7 @@
 #include "storm/storage/dd/Add.h"
 
 #include "storm/storage/jani/Automaton.h"
+#include "storm/storage/jani/Edge.h"
 
 #include "storm/settings/SettingsManager.h"
 

src/storm/abstraction/jani/JaniMenuGameAbstractor.cpp

@@ -7,6 +7,8 @@
 #include "storm/storage/BitVector.h"
 
 #include "storm/storage/jani/Model.h"
+#include "storm/storage/jani/Automaton.h"
+#include "storm/storage/jani/Edge.h"
 
 #include "storm/storage/dd/DdManager.h"
 #include "storm/storage/dd/Add.h"

src/storm/builder/DdJaniModelBuilder.cpp

@@ -6,7 +6,12 @@
 
 #include "storm/logic/Formulas.h"
 
+
+#include "storm/storage/jani/Edge.h"
+#include "storm/storage/jani/EdgeDestination.h"
 #include "storm/storage/jani/Model.h"
+#include "storm/storage/jani/Automaton.h"
+#include "storm/storage/jani/Location.h"
 #include "storm/storage/jani/AutomatonComposition.h"
 #include "storm/storage/jani/ParallelComposition.h"
 #include "storm/storage/jani/CompositionInformationVisitor.h"

src/storm/builder/DdJaniModelBuilder.h

@@ -6,7 +6,6 @@
 
 #include "storm/logic/Formula.h"
 
-#include "storm/storage/jani/Model.h"
 
 namespace storm {
     namespace models {
@@ -15,6 +14,9 @@ namespace storm {
             class Model;
         }
     }
+    namespace jani {
+        class Model;
+    }
     
     namespace builder {
         

src/storm/builder/ExplicitModelBuilder.cpp

@@ -18,6 +18,16 @@
 #include "storm/generator/PrismNextStateGenerator.h"
 #include "storm/generator/JaniNextStateGenerator.h"
 
+
+#include "storm/storage/jani/Edge.h"
+#include "storm/storage/jani/EdgeDestination.h"
+#include "storm/storage/jani/Model.h"
+#include "storm/storage/jani/Automaton.h"
+#include "storm/storage/jani/Location.h"
+#include "storm/storage/jani/AutomatonComposition.h"
+#include "storm/storage/jani/ParallelComposition.h"
+#include "storm/storage/jani/CompositionInformationVisitor.h"
+
 #include "storm/utility/prism.h"
 #include "storm/utility/constants.h"
 #include "storm/utility/macros.h"

src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp

@@ -5,9 +5,16 @@
 #include <chrono>
 
 #include "storm/solver/SmtSolver.h"
+
+#include "storm/storage/jani/Edge.h"
+#include "storm/storage/jani/EdgeDestination.h"
+#include "storm/storage/jani/Model.h"
+#include "storm/storage/jani/Automaton.h"
+#include "storm/storage/jani/Location.h"
 #include "storm/storage/jani/AutomatonComposition.h"
 #include "storm/storage/jani/ParallelComposition.h"
-#include "storm/storage/jani/JSONExporter.h"
+#include "storm/storage/jani/CompositionInformationVisitor.h"
+
 
 #include "storm/builder/RewardModelInformation.h"
 

src/storm/builder/jit/ExplicitJitJaniModelBuilder.h

@@ -28,6 +28,14 @@ namespace storm {
             class StandardRewardModel;
         }
     }
+
+    namespace jani {
+        class OrderedAssignments;
+        class Assignment;
+        class Variable;
+        class Edge;
+        class EdgeDestination;
+    }
     
     namespace builder {
         namespace jit {

src/storm/cli/cli.cpp

@@ -5,6 +5,8 @@
 
 #include "storm/storage/SymbolicModelDescription.h"
 
+
+
 #include "storm/settings/modules/DebugSettings.h"
 #include "storm/settings/modules/IOSettings.h"
 #include "storm/settings/modules/CoreSettings.h"

src/storm/generator/JaniNextStateGenerator.cpp

@@ -6,6 +6,16 @@
 
 #include "storm/solver/SmtSolver.h"
 
+
+#include "storm/storage/jani/Edge.h"
+#include "storm/storage/jani/EdgeDestination.h"
+#include "storm/storage/jani/Model.h"
+#include "storm/storage/jani/Automaton.h"
+#include "storm/storage/jani/Location.h"
+#include "storm/storage/jani/AutomatonComposition.h"
+#include "storm/storage/jani/ParallelComposition.h"
+#include "storm/storage/jani/CompositionInformationVisitor.h"
+
 #include "storm/utility/constants.h"
 #include "storm/utility/macros.h"
 #include "storm/utility/solver.h"

src/storm/generator/JaniNextStateGenerator.h

@@ -3,8 +3,14 @@
 #include "storm/generator/NextStateGenerator.h"
 
 #include "storm/storage/jani/Model.h"
+#include "storm/storage/jani/OrderedAssignments.h"
 
 namespace storm {
+    namespace jani {
+        class Edge;
+        class EdgeDestination;
+    }
+
     namespace generator {
         
         template<typename ValueType, typename StateType = uint32_t>

src/storm/generator/VariableInformation.cpp

@@ -2,6 +2,8 @@
 
 #include "storm/storage/prism/Program.h"
 #include "storm/storage/jani/Model.h"
+
+#include "storm/storage/jani/Automaton.h"
 #include "storm/storage/expressions/ExpressionManager.h"
 
 #include "storm/utility/macros.h"

src/storm/modelchecker/abstraction/GameBasedMdpModelChecker.cpp

@@ -10,6 +10,16 @@
 #include "storm/storage/expressions/ExpressionManager.h"
 #include "storm/storage/expressions/VariableSetPredicateSplitter.h"
 
+
+#include "storm/storage/jani/Edge.h"
+#include "storm/storage/jani/EdgeDestination.h"
+#include "storm/storage/jani/Model.h"
+#include "storm/storage/jani/Automaton.h"
+#include "storm/storage/jani/Location.h"
+#include "storm/storage/jani/AutomatonComposition.h"
+#include "storm/storage/jani/ParallelComposition.h"
+#include "storm/storage/jani/CompositionInformationVisitor.h"
+
 #include "storm/storage/dd/DdManager.h"
 
 #include "storm/abstraction/prism/PrismMenuGameAbstractor.h"

src/storm/parser/JaniParser.cpp

@@ -1,8 +1,15 @@
 #include "JaniParser.h"
+
+#include "storm/storage/jani/Edge.h"
+#include "storm/storage/jani/TemplateEdge.h"
+#include "storm/storage/jani/EdgeDestination.h"
 #include "storm/storage/jani/Model.h"
+#include "storm/storage/jani/Automaton.h"
+#include "storm/storage/jani/Location.h"
 #include "storm/storage/jani/Property.h"
 #include "storm/storage/jani/AutomatonComposition.h"
 #include "storm/storage/jani/ParallelComposition.h"
+#include "storm/storage/jani/CompositionInformationVisitor.h"
 #include "storm/exceptions/FileIoException.h"
 #include "storm/exceptions/InvalidJaniException.h"
 

src/storm/storage/SymbolicModelDescription.cpp

@@ -4,6 +4,10 @@
 #include "storm/utility/prism.h"
 #include "storm/utility/jani.h"
 
+#include "storm/storage/jani/Model.h"
+#include "storm/storage/jani/Automaton.h"
+
+
 #include "storm/utility/macros.h"
 #include "storm/exceptions/InvalidOperationException.h"
 #include "storm/exceptions/InvalidTypeException.h"

src/storm/storage/jani/Automaton.cpp

@@ -1,5 +1,9 @@
 #include "storm/storage/jani/Automaton.h"
 
+#include "storm/storage/jani/Edge.h"
+#include "storm/storage/jani/TemplateEdge.h"
+#include "storm/storage/jani/Location.h"
+
 #include "storm/utility/macros.h"
 #include "storm/exceptions/WrongFormatException.h"
 #include "storm/exceptions/InvalidArgumentException.h"

src/storm/storage/jani/Automaton.h

@@ -7,14 +7,15 @@
 #include <boost/container/flat_set.hpp>
 
 #include "storm/storage/jani/VariableSet.h"
-#include "storm/storage/jani/Edge.h"
-#include "storm/storage/jani/TemplateEdge.h"
-#include "storm/storage/jani/Location.h"
+
 
 namespace storm {
     namespace jani {
 
         class Automaton;
+        class Edge;
+        class TemplateEdge;
+        class Location;
         
         namespace detail {
             class Edges {

src/storm/storage/jani/Model.cpp

@@ -2,8 +2,17 @@
 
 #include "storm/storage/expressions/ExpressionManager.h"
 
-#include "storm/storage/jani/Compositions.h"
+
+#include "storm/storage/jani/Edge.h"
+#include "storm/storage/jani/TemplateEdge.h"
+#include "storm/storage/jani/EdgeDestination.h"
+#include "storm/storage/jani/Model.h"
+#include "storm/storage/jani/Automaton.h"
+#include "storm/storage/jani/Location.h"
+#include "storm/storage/jani/AutomatonComposition.h"
+#include "storm/storage/jani/ParallelComposition.h"
 #include "storm/storage/jani/CompositionInformationVisitor.h"
+#include "storm/storage/jani/Compositions.h"
 
 #include "storm/storage/expressions/LinearityCheckVisitor.h"
 
@@ -22,7 +31,11 @@ namespace storm {
         
         const std::string Model::SILENT_ACTION_NAME = "";
         const uint64_t Model::SILENT_ACTION_INDEX = 0;
-        
+
+
+        Model::Model(Model&& other) = default;
+        Model& Model::operator=(Model&& other) = default;
+
         Model::Model() {
             // Intentionally left empty.
         }

src/storm/storage/jani/Model.h

@@ -2,11 +2,18 @@
 
 #include <memory>
 
+
+#include <boost/container/flat_set.hpp>
+
+#include "storm/storage/jani/VariableSet.h"
 #include "storm/storage/jani/Action.h"
 #include "storm/storage/jani/ModelType.h"
 #include "storm/storage/jani/Automaton.h"
 #include "storm/storage/jani/Constant.h"
 #include "storm/storage/jani/Composition.h"
+#include "storm/storage/jani/Edge.h"
+#include "storm/storage/jani/Location.h"
+#include "storm/storage/jani/TemplateEdge.h"
 
 #include "storm/utility/solver.h"
 #include "storm/utility/vector.h"
@@ -17,7 +24,13 @@ namespace storm {
     }
     
     namespace jani {
-        
+
+        class Variable;
+        class BooleanVariable;
+        class BoundedIntegerVariable;
+        class UnboundedIntegerVariable;
+        class RealVariable;
+        class Automaton;
         class Exporter;
         class SynchronizationVector;
         
@@ -45,8 +58,8 @@ namespace storm {
              */
             Model& operator=(Model const& other);
             
-            Model(Model&& other) = default;
-            Model& operator=(Model&& other) = default;
+            Model(Model&& other);
+            Model& operator=(Model&& other);
             
             /*!
              * Retrieves the expression manager responsible for the expressions in the model.

src/storm/storage/prism/ToJaniConverter.cpp

@@ -5,6 +5,7 @@
 #include "storm/storage/prism/Program.h"
 #include "storm/storage/prism/CompositionToJaniVisitor.h"
 #include "storm/storage/jani/Model.h"
+#include "storm/storage/jani/TemplateEdge.h"
 
 #include "storm/utility/macros.h"
 #include "storm/exceptions/NotImplementedException.h"