From 54c0bbb7c349c8f9558ad68230c8147081eae1c8 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 11 Jul 2018 19:50:03 +0200
Subject: [PATCH] flatten of jani models before export via appropriate setting

---
 src/storm/api/export.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/storm/api/export.cpp b/src/storm/api/export.cpp
index 78951fd27..1a69a34da 100644
--- a/src/storm/api/export.cpp
+++ b/src/storm/api/export.cpp
@@ -16,6 +16,10 @@ namespace storm {
                 }
             }
 
+            if (janiSettings.isExportFlattenedSet()) {
+                exportModel = exportModel.flattenComposition();
+            }
+
             if (janiSettings.isExportAsStandardJaniSet()) {
                 storm::jani::Model normalisedModel = exportModel;
                 normalisedModel.makeStandardJaniCompliant();