jani set model type, useful to change from dtmc to mdp semantics -- be careful in usage though

src/storm/storage/jani/Model.cpp

@@ -117,6 +117,10 @@ namespace storm {
         ModelType const& Model::getModelType() const {
             return modelType;
         }
+
+        void Model::setModelType(ModelType const& newModelType) {
+            modelType = newModelType;
+        }
         
         ModelFeatures const& Model::getModelFeatures() const {
             return modelFeatures;

src/storm/storage/jani/Model.h

@@ -79,7 +79,13 @@ namespace storm {
              * Retrieves the type of the model.
              */
             ModelType const& getModelType() const;
-            
+
+            /*!
+             * Changes (only) the type declaration of the model. Notice that this operation should be applied with great care, as it may break several algorithms.
+             * The operation is useful to e.g. make a deterministic model into a non-deterministic one.
+             */
+            void setModelType(ModelType const&);
+
             /*!
              * Retrieves the enabled model features
              */