From ade2b96903aaaa81b1726546f35004dcb2b82d5b Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 23 Dec 2016 11:10:33 +0100
Subject: [PATCH] Set correct edge id for JSON export

---
 src/storm-dft/storage/dft/DftJsonExporter.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/storm-dft/storage/dft/DftJsonExporter.cpp b/src/storm-dft/storage/dft/DftJsonExporter.cpp
index 89cb07287..bcafb35be 100644
--- a/src/storm-dft/storage/dft/DftJsonExporter.cpp
+++ b/src/storm-dft/storage/dft/DftJsonExporter.cpp
@@ -97,7 +97,9 @@ namespace storm {
         template<typename ValueType>
         modernjson::json DftJsonExporter<ValueType>::translateEdge(std::shared_ptr<DFTGate<ValueType> const> const& gate, DFTElementCPointer const& child, size_t index) {
             modernjson::json nodeData;
-            nodeData["id"] = currentId;
+            std::stringstream stream;
+            stream << gate->id() << "e" << child->id();
+            nodeData["id"] = stream.str();
             ++currentId;
             nodeData["source"] = gate->id();
             nodeData["target"] = child->id();