From ce9ee672b50f02bd8228a4d5e8e62fb66f40e00d Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 15 Feb 2017 16:38:29 +0100
Subject: [PATCH] ExportExplicitToDot now added, thanks to Joachim Klein for
 pointing this out.

---
 src/storm/cli/entrypoints.h | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/storm/cli/entrypoints.h b/src/storm/cli/entrypoints.h
index 79b030fb8..8b968e756 100644
--- a/src/storm/cli/entrypoints.h
+++ b/src/storm/cli/entrypoints.h
@@ -329,6 +329,14 @@ namespace storm {
                 storm::exporter::explicitExportSparseModel(stream, sparseModel, model.getParameterNames());
                 storm::utility::closeFile(stream);
             }
+
+            // And export DOT if required.
+            if(storm::settings::getModule<storm::settings::modules::IOSettings>().isExportDotSet()) {
+                std::ofstream stream;
+                storm::utility::openFile(storm::settings::getModule<storm::settings::modules::IOSettings>().getExportDotFilename(), stream);
+                sparseModel->writeDotToStream(stream);
+                storm::utility::closeFile(stream);
+            }
         }
         
         template<typename ValueType>